The ForSpec Temporal Logic: A New Temporal Property-Specification Language
- 14 March 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- 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 RevisitedLecture Notes in Computer Science, 2001
- The Temporal Logic SugarLecture Notes in Computer Science, 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 Science and Business Media LLC ,1998
- An algebraic theory of multiple clocksLecture Notes in Computer Science, 1997
- Generalized quantitative temporal reasoning: An automata-theoretic approachPublished by Springer Science and Business Media LLC ,1997
- Logics and models of real time: A surveyLecture Notes in Computer Science, 1992
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979