The following pages link to (Q4417920):
Displayed 5 items.
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking (Q3510805) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)