The following pages link to Computer Aided Verification (Q5900684):
Displaying 12 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Solving games via three-valued abstraction refinement (Q979079) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking (Q3510805) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Better Under-Approximation of Programs by Hiding Variables (Q5452617) (← links)
