simple-bmc
A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
Description
Install
- Published
-
21 Dec 2013
- Maintainers
-
Sources
Dependencies
Reverse Dependencies