Pages that link to "Item:Q1854391"
From MaRDI portal
The following pages link to Verification by augmented finitary abstraction (Q1854391):
Displaying 15 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Equational abstractions (Q944377) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- A compositional approach to CTL\(^*\) verification (Q1770366) (← links)
- Bridging the gap between fair simulation and trace inclusion (Q2486398) (← links)
- Model checking with strong fairness (Q2505624) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Counter Abstraction in the CSP/FDR setting (Q2810979) (← links)
- Dynamic Reactive Modules (Q3090845) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- MODULAR RANKING ABSTRACTION (Q3426785) (← links)
