why
Why is a software verification platform.
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.
| Authors | Jean-Christophe Filliâtre, Claude Marché, Yannick Moy and Romain Bardou |
|---|---|
| License | GNU Lesser General Public License version 2.1 |
| Homepage | http://krakatoa.lri.fr/ |
| Maintainer | Claude.Marche@inria.fr (after 2.31) |
| Tags | deductive, program verification, specification, automated theorem prover, interactive theorem prover, Java, JML, C and ACSL |
Events
Aug 23, 2014
Published version 2.34
Jul 1, 2013
Published version 2.33
Mar 28, 2013
Published version 2.32
- Claude Marché gained authorship.
- Jean-Christophe Filliâtre gained authorship.
- Romain Bardou gained authorship.
- Yannick Moy gained authorship.
- Now licensed under GNU Lesser General Public License version 2.1.
- Claude.Marche@inria.fr assumed maintainership from contact@ocamlpro.com.
- http://krakatoa.lri.fr/ added as homepage.
Aug 21, 2012
Published version 2.31