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.35.tar.gz
sha256=d94359fbfd96d2a251062c1dbfc0ec327e90202a38d897ed5eb54ade636a6af5
md5=10bde72f95de8bc34135a8207cfcc9ec
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: 26 Mar 2015
On This Page