The following pages link to (Q4804892):
Displaying 27 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Improved model checking of hierarchical systems (Q418123) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Model checking computation tree logic over finite lattices (Q896917) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- A generalized semantics of PROMELA for abstract model checking (Q1882796) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- Automatic Synthesis of Assumptions for Compositional Model Checking (Q3613064) (← links)
- Automatic Abstraction for Congruences (Q3656884) (← links)
- (Q4427894) (← links)
- Automata-Based Abstraction Refinement for µHORS Model Checking (Q4635849) (← links)
- Model Checking Using Generalized Testing Automata (Q4909350) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- Smaller Abstractions for ∀CTL* without Next (Q5187833) (← links)
- Better Under-Approximation of Programs by Hiding Variables (Q5452617) (← links)
- CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT (Q5484901) (← links)
- Refinement of Kripke Models for Dynamics (Q5505597) (← links)
- Verification by augmented abstraction: The automata-theoretic view (Q5946060) (← links)
- Automating the functional correspondence between higher-order evaluators and abstract machines (Q6102250) (← links)
