The following pages link to (Q4818796):
Displaying 36 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Multi-robot LTL planning under uncertainty (Q2024360) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Computation tree logic model checking based on multi-valued possibility measures (Q2213111) (← links)
- Static analysis of topology-dependent broadcast networks (Q2266988) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- On the Complexity of Semantic Self-minimization (Q2810966) (← links)
- (Q2842859) (← links)
- (Q2845490) (← links)
- Inherent Vacuity in Lattice Automata (Q2947173) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Bonsai: Cutting Models Down to Size (Q3455087) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- The Complexity of Linear-Time Temporal Logic Model Repair (Q5056073) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- Lattice Automata (Q5452607) (← links)
- Bounded Model Checking for Partial Kripke Structures (Q5505615) (← links)
- (Q5866338) (← links)
- Minimizing Deterministic Lattice Automata (Q5892175) (← links)
