• Software distribution and licensing: Public binary distribution
  • Software maturity: Demos work, loose documentation.
  • Software Maintenance and Evolution: No maintenance, no future plans

PHAVer is a tool for reachability analysis of continuous and hybrid systems based on Linear Hybrid Automata.

View online : PHAVer Web Page

Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1696904