Iterative Algorithms For Formal Verification Of Embedded Real-time Systems
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- An implementation of three algorithms for timing verification based on automata emptinessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal verification of the PATHO real-time operating systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An iterative approach to verification of real-time systemsFormal Methods in System Design, 1995
- HSISPublished by Association for Computing Machinery (ACM) ,1994
- Data Structures and Network AlgorithmsPublished by Society for Industrial & Applied Mathematics (SIAM) ,1983