package why

  1. Overview
  2. No Docs
Why is a software verification platform.

Install

Dune Dependency

krakatoa.lri.fr Edit opam file Versions (11)

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.32.tar.gz
md5=8983b1058bd651a4eb3db16fa23a458b

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: 21 Nov 2013

Dependencies (8)

  1. conf-autoconf
  2. alt-ergo >= "0.95"
  3. frama-c = "8.0"
  4. coq >= "8.4pl1"
  5. why3 = "0.81"
  6. ocamlgraph = "1.8.2"
  7. lablgtk <= "2.16.0"
  8. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None