why

Why is a software verification platform.
Description

Why is not any longer under active development. Our efforts have moved to the development of Why3.

Why is still maintained, in particular to provide the Jessie plug-in of Frama-C and the Krakatoa front-end for Java.

Install
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
Documentation status is unknown. krakatoa.lri.fr Edit opam file
Published
24 Aug 2014
Authors
Maintainers
Sources
why-2.34.tar.gz
md5=e622157c9b5cfc4e454a2a98bcc5828c
Dependencies
conf-autoconf
alt-ergo >= "0.95"
frama-c = "10.0"
coq >= "8.4pl1"
ocamlgraph >= "1.8.2" & < "1.8.6"
lablgtk <= "2.16.0"
ocaml
Reverse Dependencies
Conflicts
why3 != "0.83"