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.38.tar.gz
md5=3add4408954b07a23629b14d74a0a16e

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 Silicon

Tags

deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL

Published: 28 Mar 2017

Dependencies (4)

  1. conf-autoconf
  2. frama-c = "14.0"
  3. why3 >= "0.86.1" & <= "0.87.3"
  4. ocaml >= "4.01.0"

Dev Dependencies

None

Used by

None

Conflicts

None