Reasoning with Temporal Logic on Truncated Paths
Top Cited Papers
- 1 January 2003
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The Definition of a Temporal Clock OperatorLecture Notes in Computer Science, 2003
- Resets vs. Aborts in Linear Temporal LogicLecture Notes in Computer Science, 2003
- Efficient Computation of Recurrence DiametersLecture Notes in Computer Science, 2002
- The ForSpec Temporal Logic: A New Temporal Property-Specification LanguageLecture Notes in Computer Science, 2002
- Progress on the State Explosion Problem in Model CheckingPublished by Springer Science and Business Media LLC ,2001
- FoCs – Automatic Generation of Simulation Checkers from Formal SpecificationsLecture Notes in Computer Science, 2000
- Symbolic Model Checking without BDDsLecture Notes in Computer Science, 1999
- Model Checking of Safety PropertiesLecture Notes in Computer Science, 1999
- On-the-fly model checking of RCTL formulasPublished by Springer Science and Business Media LLC ,1998
- The glory of the pastLecture Notes in Computer Science, 1985