On ACTL Formulas Having Linear Counterexamples
- 31 May 2001
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 62 (3) , 463-515
- https://doi.org/10.1006/jcss.2000.1734
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Model checkingCommunications of the ACM, 2009
- Enhancing model checking in verification by AI techniquesArtificial Intelligence, 1999
- Verification tools for finite-state concurrent systemsPublished by Springer Nature ,1994
- BDD-Based debugging of designs using language containment and fair CTLPublished by Springer Nature ,1993
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986