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.37.tar.gz
sha256=7564a6837278451c93c6ca37cc8d8a2683234130cf06ed180396f26fb042b903
md5=5d1c4e753684413ebb391789efc828fa
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 Aluminium
Tags
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSLPublished: 23 Mar 2017
Dependencies (4)
- conf-autoconf
-
frama-c
= "13.1" -
why3
>= "0.86.1" & <= "0.87.3" -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page