package why
Why is a software verification platform.
Install
Dune Dependency
Authors
Maintainers
Sources
why-2.40.tar.gz
sha256=285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540
md5=8032066e59163e564631ab566a212ce0
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 Sulfur
Tags
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSLPublished: 01 Feb 2018
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page