Improved Automata Generation for Linear Temporal Logic
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 249-260
- https://doi.org/10.1007/3-540-48683-6_23
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Memory efficient algorithms for the verification of temporal propertiesPublished by Springer Nature ,2005
- Improved Automata Generation for Linear Temporal LogicPublished by Springer Nature ,1999
- A New One-Pass Tableau Calculus for PLTLPublished by Springer Nature ,1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Simple On-the-fly Automatic Verification of Linear Temporal LogicPublished by Springer Nature ,1996
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal KPublished by Springer Nature ,1996
- Reasoning about Infinite ComputationsInformation and Computation, 1994
- A decision algorithm for full propositional temporal logicPublished by Springer Nature ,1993
- Automata on Infinite ObjectsPublished by Elsevier ,1990