GitHub repository: stanleybak/hylaa
Primary language: Python
Created: 2017-02-02T03:23:43Z
Description: Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs