package why
Why is a software verification platform.
Install
Dune Dependency
Authors
Maintainers
Sources
why-2.41.tar.gz
sha256=d86596a4c0e897f0f2b8eb3b00bade4feaf3ba31c580a5c605fcc4d77bf37b20
md5=9c5c3eb9f421b8dbbf141b153b051a51
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 Chlorine
Tags
deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSLPublished: 03 Jul 2018
On This Page