why3
Software verification platform
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.
Releases Overview
| Release | Stable | Testing |
|---|---|---|
| Fedora Rawhide | 1.7.2-1.fc41 | - |
| Fedora 40 | 1.7.1-2.fc40 | 1.7.2-1.fc40 |
| Fedora 39 | 1.7.1-1.fc39 | 1.7.2-1.fc39 |
| Fedora 38 | 1.5.1-8.fc38 | - |
File a new bug report »
Package Info
Related Packages
Package Info
- Upstream: https://why3.lri.fr/
- License(s): LGPL-2.1-only WITH OCaml-LGPL-linking-exception
- Maintainer: jjames
Related Packages
You can contact the maintainers of this package via email at
why3 dash maintainers at fedoraproject dot org.
Sources on Pagure