simple-bmc
A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
| Authors | Soonho Kong <soonhok@cs.cmu.edu> and Wei Chen <weichen1@andrew.cmu.edu> |
|---|---|
| License | GNU General Public License version 3 |
| Homepage | https://github.com/pondering/simple-bmc |
| Maintainer | Wei Chen <weichen1@andrew.cmu.edu> |
| OCaml | >= 4.01.0 |
Events
Dec 21, 2013
Published version 0.0.1