PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Towards formal verification of analog designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Benchmarks for Hybrid Systems VerificationPublished by Springer Nature ,2004
- Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interactionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- The theory of hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra LibraryPublished by Springer Nature ,2002
- Applications of model checking at honeywell laboratoriesPublished by Springer Nature ,2001
- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical MethodsPublished by Springer Nature ,2000
- An algorithm for the approximative analysis of rectangular automataPublished by Springer Nature ,1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997