package why
Why is a software verification platform.
Install
Dune Dependency
Authors
Maintainers
Sources
why-2.40.tar.gz
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