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.

Published: 21 Nov 2013

Dependencies (6)

  1. conf-autoconf
  2. frama-c
  3. coq = "8.3"
  4. ocamlgraph = "1.8.2"
  5. lablgtk <= "2.16.0"
  6. ocaml < "4.00.0"

Reverse Dependencies

    None

Conflicts

    None
Why is a software verification platform.

Install

Documentation status is unknown. 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.31.tar.gz
md5=d647f64049345be5654f8f3fdb077aa4