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.34.tar.gz
sha256=4f861757c13cb7dd4ba8c0c640f04115be147d2d4ca8a55035048e9d305c658c
md5=e622157c9b5cfc4e454a2a98bcc5828c
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: 24 Aug 2014
Dependencies (7)
- 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
Dev Dependencies
None
Used by
None
Conflicts (1)
-
why3
!= "0.83"
On This Page