package why
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Why is a software verification platform.
Install
Dune Dependency
Authors
Maintainers
Sources
why-2.33.tar.gz
sha256=05a2d398b49c447e9897d58596ab9c52bcc4c3877895df590ba77163d1125ece
md5=25ad0493e0cd112f3fe5858aa605344a
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.
Tags
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSLPublished: 21 Nov 2013
Dependencies (8)
- conf-autoconf
-
alt-ergo
>= "0.95" -
frama-c
>= "9.0" & <= "9.1" -
coq
>= "8.4pl1" & <= "8.4.5" -
why3
= "0.81" -
ocamlgraph
>= "1.8.2" & <= "1.8.5" -
lablgtk
<= "2.16.0" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page