On-the-fly symbolic model checking for real-time systems
- 23 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Memory efficient algorithms for the verification of temporal propertiesPublished by Springer Nature ,2005
- A theory of timed automataPublished by Elsevier ,2002
- A space-efficient on-the-fly algorithm for real-time model checkingPublished by Springer Nature ,1996
- The tool KronosPublished by Springer Nature ,1996
- Local model checking for real-time systemsPublished by Springer Nature ,1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Symbolic Model CheckingPublished by Springer Nature ,1993
- "Sometime" is sometimes "not never"Published by Association for Computing Machinery (ACM) ,1980
- Decision problems forω-automataTheory of Computing Systems, 1969