search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

flowstar 2.1, hylaa2, and bug fixes #51

Closed stanleybak closed 5 years ago

stanleybak commented 5 years ago

also works with continuous integration on travis ci