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.36.tar.gz
sha256=c3fe2153a1948b14c73e58f6086406a6725ed0ab52e973f2498e3895c4030666
md5=9b26f8d039ab5a04ed16f5ca8b96a780
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 Magnesium.
Tags
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSLPublished: 22 Jul 2016
Dependencies (4)
- conf-autoconf
-
frama-c
= "12.1" -
why3
>= "0.86" & <= "0.87.1" -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page