Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
- 1 January 2000
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 157-171
- https://doi.org/10.1007/3-540-46419-0_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Symbolic model checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Approximate reachability analysis of timed automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- User-Friendly VerificationPublished by Springer Nature ,1999
- UPPAAL — a tool suite for automatic verification of real-time systemsLecture Notes in Computer Science, 1996
- Approximations for verifying timing propertiesPublished by World Scientific Pub Co Pte Ltd ,1995
- Compiling real-time specifications into extended automataIEEE Transactions on Software Engineering, 1992