Symbolic model checking for event-driven real-time systems
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Model-checking of real-time systemsPublished by Association for Computing Machinery (ACM) ,1997
- Implementing a verifier for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986