package why
Why is a software verification platform.
Install
Dune Dependency
Authors
Maintainers
Sources
why-2.39.tar.gz
sha256=4815111efa3d31c2e209ec98346ac67dd3578fb355adf9d04ff86800a83cc159
md5=d03ea54b2d37039d26a1f2f82b61d860
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.
This version is compatible with Frama-C version Phosphorus
Tags
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSLPublished: 23 Aug 2017
Dependencies (4)
- conf-autoconf
-
frama-c
= "15.0" -
why3
>= "0.86.1" & <= "0.87.3" -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page