- Name: why3
- Version: 0.71
- Release: 2.fc16
- Epoch:
- Group: Unspecified
- License: LGPLv2 with exceptions
- Url: http://why3.lri.fr/
- Summary: Software verification platform
- Architecture: x86_64
- Size: 1463922
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
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.
- BuildArch:
- ExcludeArch:
- ExclusiveArch: alpha, armv3l, armv4b, armv4l, armv4tl, armv5tel, armv5tejl, armv6l, armv7l, armv7hl, armv7hnl, i386, i486, i586, i686, pentium3, pentium4, athlon, geode, ia64, x86_64, ppc, sparc, sparcv9, ppc64
- Cookie: x86-14.phx2.fedoraproject.org 1334865341
- Buildhost: x86-14.phx2.fedoraproject.org