Pages that link to "Item:Q5946060"
From MaRDI portal
The following pages link to Verification by augmented abstraction: The automata-theoretic view (Q5946060):
Displaying 8 items.
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Application of the trace assertion method to the specification, design, and verification of automaton programs (Q840086) (← links)
- Verification by augmented finitary abstraction (Q1854391) (← links)
- Taming the infinite: Verification of infinite-state reactive systems by finitary means (Q2767987) (← links)
- MODULAR RANKING ABSTRACTION (Q3426785) (← links)
- On-the-fly Emptiness Check of Transition-Based Streett Automata (Q3648699) (← links)
- (Q4037133) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711487) (← links)