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 ACSL

Published: 26 Mar 2015

Dependencies (5)

  1. camlp4
  2. conf-autoconf
  3. frama-c = "11.0"
  4. why3 >= "0.84" & <= "0.85"
  5. ocaml >= "4.01.0"

Reverse Dependencies

    None

Conflicts (1)

  1. ocaml >= "4.03.0"
Why is a software verification platform.

Install

Documentation failed to build. krakatoa.lri.fr Edit opam file

Authors

  1. J
    Jean-Christophe Filliâtre
  2. C
    Claude Marché
  3. Y
    Yannick Moy
  4. R
    Romain Bardou

Maintainers

  1. C
    Claude.Marche@inria.fr

Sources

why-2.35.tar.gz
md5=10bde72f95de8bc34135a8207cfcc9ec