The following pages link to (Q5227061):
Displaying 50 items.
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour (Q507600) (← links)
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (Q513189) (← links)
- A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria (Q747538) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Accelerating worst case execution time analysis of timed automata models with cyclic behaviour (Q903501) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- A quantitative study of pure parallel processes (Q907263) (← links)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- Improving parity games in practice (Q2043434) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Efficient data validation for geographical interlocking systems (Q2065531) (← links)
- Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler (Q2090217) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Small-gain theorem for safety verification of interconnected systems (Q2116647) (← links)
- On the combination of polyhedral abstraction and SMT-based model checking for Petri nets (Q2117166) (← links)
- On the hierarchical community structure of practical Boolean formulas (Q2118321) (← links)
- Thread-modular analysis of release-acquire concurrency (Q2145344) (← links)
- MC/DC test cases generation based on BDDs (Q2154030) (← links)
- Formal model of the interplay between TGF-\(\beta 1\) and MMP-9 and their dynamics in hepatocellular carcinoma (Q2160695) (← links)
- Untangling the graphs of timed automata to decrease the number of clocks (Q2165509) (← links)
- Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} (Q2198134) (← links)
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- A design of GPU-based quantitative model checking (Q2234091) (← links)
- Estimation of the complexity of the potential transformation algorithm for solving cyclic games on graphs (Q2290510) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking (Q2322309) (← links)
- SAT-based explicit LTL reasoning and its application to satisfiability checking (Q2335900) (← links)
- The complexity of model checking multi-stack systems (Q2398213) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Formal analysis of composable DeFi protocols (Q2670830) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- BDD-Based Symbolic Model Checking (Q3176366) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- Symbolic Trajectory Evaluation (Q3176383) (← links)
- A Theory of Distributed Markov Chains (Q4988963) (← links)
- Stubborn Sets, Frozen Actions, and Fair Testing (Q4989170) (← links)
- (Q5009421) (← links)
- (Q5028426) (← links)
