PHAVer: algorithmic verification of hybrid systems past HyTech
- 8 January 2008
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 10 (3), 263-279
- https://doi.org/10.1007/s10009-007-0062-x
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Time Domain Verification of Oscillator Circuit PropertiesElectronic Notes in Theoretical Computer Science, 2006
- Model Checking of Hybrid Systems: From Reachability Towards StabilityLecture Notes in Computer Science, 2006
- An Evaluation of Two Recent Reachability Analysis Tools for Hybrid SystemsPublished by Elsevier BV ,2006
- 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
- Algorithmic analysis of nonlinear hybrid systemsIEEE Transactions on Automatic Control, 1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993