Pages that link to "Item:Q1854391"
From MaRDI portal
The following pages link to Verification by augmented finitary abstraction (Q1854391):
Displaying 9 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)
- Verification by augmented abstraction: The automata-theoretic view (Q5946060) (← links)
