The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Top Cited Papers
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 296-311
- https://doi.org/10.1007/3-540-46002-0_21
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Extended Temporal Logic RevisitedPublished by Springer Nature ,2001
- The Temporal Logic SugarPublished by Springer Nature ,2001
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- Dynamic linear time temporal logicAnnals of Pure and Applied Logic, 1999
- On-the-fly model checking of RCTL formulasPublished by Springer Nature ,1998
- An algebraic theory of multiple clocksPublished by Springer Nature ,1997
- Generalized quantitative temporal reasoning: An automata-theoretic approachPublished by Springer Nature ,1997
- Logics and models of real time: A surveyPublished by Springer Nature ,1992
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979