Using integer programming to verify general safety and liveness properties
From MaRDI portal
Publication:1346653
DOI10.1007/BF01384316zbMath0829.68051MaRDI QIDQ1346653
George S. Avrunin, James C. Corbett
Publication date: 10 April 1995
Published in: Formal Methods in System Design (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
Cites Work
- Algebra of communicating processes with abstraction
- The equal flow problem
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- Graph-Based Algorithms for Boolean Function Manipulation
- How to assign votes in a distributed system
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item