The following pages link to (Q4414390):
Displaying 15 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)
