LogoopenSUSE Build Service > Projects
Sign Up | Log In

The Why3 Platform for Program Verification

Why3 is the next generation of the Why software verification platform. 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. 

Source Files (show merged sources derived from linked package)

Filename Size Changed Actions
why3-0.87.3.tar.gz 4.29 MB
why3.changes 2.16 KB Download File
why3.spec 2.97 KB Download File

Comments for home:lorenz:formal (0)

Login required, please login or signup in order to comment