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