The following pages link to (Q4791848):
Displaying 24 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- An abstract interpretation toolkit for \(\mu\)CRL (Q883139) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Abstract model repair for probabilistic systems (Q1706149) (← links)
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)
- Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (Q3003492) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
- Automatic Synthesis of Assumptions for Compositional Model Checking (Q3613064) (← links)
- Don’t Know for Multi-valued Systems (Q3648707) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- Falsifying Safety Properties Through Games on Over-approximating Models (Q4982087) (← links)
- Integrating Topological Proofs with Model Checking to Instrument Iterative Design (Q5039527) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
