The following pages link to (Q2754106):
Displayed 17 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Modeling and querying biomolecular interaction networks (Q1884862) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- A tableau construction for finite linear-time temporal logic (Q2669249) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)
- Inherent Vacuity in Lattice Automata (Q2947173) (← links)
- Query-Based Model Checking of Ad Hoc Network Protocols (Q3184703) (← links)
- On the Notion of Vacuous Truth (Q3498452) (← links)
- Latticed Simulation Relations and Games (Q3510804) (← links)
- (Q4972740) (← links)
- The Complexity of Linear-Time Temporal Logic Model Repair (Q5056073) (← links)
- Lattice Automata (Q5452607) (← links)
- Minimizing Deterministic Lattice Automata (Q5892175) (← links)
- Learning and characterizing fully-ordered lattice automata (Q6160917) (← links)