PHAVer

  • 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.

Voir en ligne : PHAVer Web Page