Bounded Model Checking for Timed Systems
- 5 November 2002
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 243-259
- https://doi.org/10.1007/3-540-36135-9_16
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Two examples of verification of multirate timed automata with KronosPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical PropositionsLecture Notes in Computer Science, 2002
- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software SystemsLecture Notes in Computer Science, 2000
- Symbolic Model Checking without BDDsPublished by Defense Technical Information Center (DTIC) ,1999
- Timed AutomataLecture Notes in Computer Science, 1999
- Kronos: A model-checking tool for real-time systemsLecture Notes in Computer Science, 1998
- Model-checking for real-time systemsLecture Notes in Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Temporal and Modal LogicPublished by Elsevier ,1990
- A fast mutual exclusion algorithmACM Transactions on Computer Systems, 1987