The following pages link to (Q2763694):
Displayed 31 items.
- Multi-valued model checking games (Q414899) (← links)
- Improved model checking of hierarchical systems (Q418123) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← 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)
- Temporal-logic property preservation under Z refinement (Q1941860) (← 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)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Combining search space partition and abstraction for LTL model checking (Q2465733) (← links)
- Incompleteness of states w.r.t. traces in model checking (Q2492186) (← 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)
- 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)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Bonsai: Cutting Models Down to Size (Q3455087) (← links)
- Automatic Synthesis of Assumptions for Compositional Model Checking (Q3613064) (← links)
- Static Analysis Techniques for Parameterised Boolean Equation Systems (Q3617762) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- Compositional Specification in Rewriting Logic (Q5108529) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)