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.32.tar.gz
sha256=a4365577b852da8d1951eaeb6e2e220645f5cfa270b369d37da2e46b9c1feec4
md5=8983b1058bd651a4eb3db16fa23a458b
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
= "8.0" -
coq
>= "8.4pl1" -
why3
= "0.81" -
ocamlgraph
= "1.8.2" -
lablgtk
<= "2.16.0" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page