PHAVer is a tool for reachability analysis of continuous and hybrid systems based on Linear Hybrid Automata.
PHAVer
- Software distribution and licensing: Public binary distribution
- Software maturity: Demos work, loose documentation.
- Software Maintenance and Evolution: No maintenance, no future plans
Voir en ligne : PHAVer Web Page
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32177256
|
|
|