Parents (Total: 3)

The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
MD5	3976AC7D904F7E924847FC1E16842DA4
PackageArch	aarch64
PackageDescription	Why is a software verification platform that applies formal proving tools to annotated programs. It is currently capable of analysis of C (through "Frama-C"), Java (through the included tool "Krakatoa"), and potentially ML programs with some modification into Why's own ML-like language. Furthermore, Why is capable of analysis of any program that is mapped onto its own internal language. It uses a weakest precondition involving calculus to generate potential theorems necessary for the proof of a program's correctness. It translates these theorems into formats that can be used by external proof assistants (without any extra work Coq, PVS, HOL Light, and Mizar are supported - having one is recommended and both Coq and PVS are packaged for Fedora) and automated theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3, CVC3, and Zenon are supported and Alt-Ergo, CVC3, and Zenon are packaged for Fedora) so that these results can be externally proven, resulting in a proof of program correctness. Note: Each user account must be set up by running "why-config" at the command line (to set up a configuration file).
PackageMaintainer	Fedora Project
PackageName	why
PackageRelease	18.fc22
PackageVersion	2.34
SHA-1	6A3D564581E01988B3BA83132A200F27B57666BA
SHA-256	208AD2BA775EFBB5E7ABAFC6526E498E28CD9B481A9DBC53570ACF42B188977B

Key	Value
MD5	52AA03FE04375B0CE7D1870A4754E511
PackageArch	aarch64
PackageDescription	Why is a software verification platform that applies formal proving tools to annotated programs. It is currently capable of analysis of C (through "Frama-C"), Java (through the included tool "Krakatoa"), and potentially ML programs with some modification into Why's own ML-like language. Furthermore, Why is capable of analysis of any program that is mapped onto its own internal language. It uses a weakest precondition involving calculus to generate potential theorems necessary for the proof of a program's correctness. It translates these theorems into formats that can be used by external proof assistants (without any extra work Coq, PVS, HOL Light, and Mizar are supported - having one is recommended and both Coq and PVS are packaged for Fedora) and automated theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3, CVC3, and Zenon are supported and Alt-Ergo, CVC3, and Zenon are packaged for Fedora) so that these results can be externally proven, resulting in a proof of program correctness. Note: Each user account must be set up by running "why-config" at the command line (to set up a configuration file).
PackageMaintainer	Fedora Project
PackageName	why
PackageRelease	7.fc23
PackageVersion	2.35
SHA-1	785D5B31DDD2DF04E12272A8AB1D117595492A30
SHA-256	853DF81E67CCC9A209002B9A3D8E92B9E13965BBB326BB6E3277C64ABC51FB8D

Key	Value
MD5	CBE52693CA774DF60119E79DCDC997E6
PackageArch	aarch64
PackageDescription	Why is a software verification platform that applies formal proving tools to annotated programs. It is currently capable of analysis of C (through "Frama-C"), Java (through the included tool "Krakatoa"), and potentially ML programs with some modification into Why's own ML-like language. Furthermore, Why is capable of analysis of any program that is mapped onto its own internal language. It uses a weakest precondition involving calculus to generate potential theorems necessary for the proof of a program's correctness. It translates these theorems into formats that can be used by external proof assistants (without any extra work Coq, PVS, HOL Light, and Mizar are supported - having one is recommended and both Coq and PVS are packaged for Fedora) and automated theorem provers (without any extra work Simplify, Alt-Ergo, Yices, Z3, CVC3, and Zenon are supported and Alt-Ergo, Z3, and Zenon are packaged for Fedora) so that these results can be externally proven, resulting in a proof of program correctness. Note: Each user account must be set up by running "why-config" at the command line (to set up a configuration file).
PackageMaintainer	Fedora Project
PackageName	why
PackageRelease	14.fc24
PackageVersion	2.35
SHA-1	19D97BB1A127A49315C9061DC3E87449BEE15867
SHA-256	32116B4068F4AA16601D817E48C307BF01AFDA3A8814108CB3E5B3F4CB11C380