PHAVer is a tool for reachability analysis of continuous and hybrid systems based on Linear Hybrid Automata.
- Software distribution and licensing: Public binary distribution
- Software maturity: Demos work, loose documentation.
- Software Maintenance and Evolution: No maintenance, no future plans
View online : PHAVer Web Page
Contact | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]
info visites 2015925