why3

Next generation of the Why software verification platform
Overview Documentation
Description

Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.

Install
Published
21 Nov 2013
Sources
why3-0.80.tar.gz
md5=4b50adf812a34879be92f27f25be7ec9
Dependencies
Reverse Dependencies