Efficient Detection of Vacuity in Temporal Model Checking
- 1 January 2001
- journal article
- conference paper
- Published by Springer Nature in Formal Methods in System Design
- Vol. 18 (2) , 141-163
- https://doi.org/10.1023/a:1008779610539
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005