alt-ergo
Automatic theorem prover based on SMT technology and dedicated to program verification
| License | CeCILL-C |
|---|---|
| Homepage | http://alt-ergo.ocamlpro.com/ |
| Maintainer | alt-ergo@ocamlpro.com |
Events
Sep 20, 2013
Published version 0.95.2
| License | CeCILL-C |
|---|---|
| Homepage | http://alt-ergo.ocamlpro.com/ |
| Maintainer | alt-ergo@ocamlpro.com |
Published version 0.95.2