Simple On-the-fly Automatic Verification of Linear Temporal Logic
- 1 January 1996
- book chapter
- Published by Springer Nature in IFIP Advances in Information and Communication Technology
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- Memory-efficient algorithms for the verification of temporal propertiesFormal Methods in System Design, 1992
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- The complexity of propositional linear temporal logicsJournal of the ACM, 1985
- Temporal logic can be more expressiveInformation and Control, 1983
- Theories of automata on ω-tapes: A simplified approachJournal of Computer and System Sciences, 1974