hzaatiti / hylaa Goto Github PK
View Code? Open in Web Editor NEWThis project forked from stanleybak/hylaa
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
Home Page: http://stanleybak.com/hylaa/
License: GNU General Public License v3.0