• en

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