Package : why3 > RPM : why3-0.87.3-3.mga6.src.rpm
Basic items
| Name | why3 |
| Version | 0.87.3 |
| Release | 3.mga6 |
| URL | http://why3.lri.fr/ |
| Group | Sciences/Computer science |
| Summary | Software verification platform |
| Size | 4,514KB |
| Arch | x86_64 |
| License | LGPLv2 with exceptions |
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.
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.
Media information
| Distribution release | Mageia 6 |
| Media name | core-release |
| Media arch | armv7hl |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2017-05-27 00:51:25 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |