Benchmarks for Hybrid Systems Verification
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- An assessment of the current status of algorithmic approaches to the verification of hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Modeling and verification of hybrid systems with clocked and unclocked eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Reachability Analysis of Hybrid Systems via Predicate AbstractionPublished by Springer Nature ,2002
- Modular Specification of Hybrid Systems in CharonPublished by Springer Nature ,2000
- Verification of Hybrid Systems via Mathematical ProgrammingPublished by Springer Nature ,1999
- KRONOS: a verification tool for real-time systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997
- Using HyTech to verify an automotive control SystemPublished by Springer Nature ,1997