Generalized quantitative temporal reasoning: An automata-theoretic approach
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 189-200
- https://doi.org/10.1007/bfb0030596
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Design and synthesis of synchronization skeletons using branching time temporal logicPublished by Springer Nature ,2005
- On the verification problem of nonregular properties for nonregular processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Automated temporal reasoning about reactive systemsPublished by Springer Nature ,1996
- Verifying infinite state processes with sequential and parallel compositionPublished by Association for Computing Machinery (ACM) ,1995
- A really temporal logicJournal of the ACM, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986
- On the Development of Reactive SystemsPublished by Springer Nature ,1985
- Temporal logic can be more expressiveInformation and Control, 1983
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977