SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

why rpm build for : Fedora 20. For other distributions click why.

Name : why
Version : 2.34 Vendor : Fedora Project
Release : 5.fc20 Date : 2014-06-27 18:19:17
Group : Applications/Engineering Source RPM : why-2.34-5.fc20.src.rpm
Size : 11.19 MB
Packager : Fedora Project
Summary : Software verification platform
Description :
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).

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/20/i386

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-2.34-5.fc20.i686.rpm
     Search for other platforms
why-2.34-5.fc20.sparc.rpm
why-2.34-5.fc20.alpha.rpm
why-2.34-5.fc20.ppc.rpm
why-2.34-5.fc20.ia64.rpm
why-2.34-5.fc20.s390.rpm

Provides :
why
why(x86-32)

Requires :
libc.so.6(GLIBC_2.2)
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1.2)
libdl.so.2(GLIBC_2.1)
hicolor-icon-theme
libdl.so.2(GLIBC_2.0)
libdl.so.2
rtld(GNU_HASH)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
libm.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.3)
libm.so.6
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
libc.so.6(GLIBC_2.4)
libc.so.6(GLIBC_2.1)
libm.so.6(GLIBC_2.1)
rpmlib(PayloadIsXz) <= 5.2-1
libc.so.6(GLIBC_2.15)
libc.so.6(GLIBC_2.7)
libc.so.6
libc.so.6(GLIBC_2.3.4)


Content of RPM :
/usr/bin/krakatoa
/usr/bin/rv_merge
/usr/bin/simplify2why
/usr/bin/tool-stat
/usr/bin/why
/usr/bin/why-config
/usr/bin/why-cpulimit
/usr/bin/why-dp
/usr/bin/why-obfuscator
/usr/bin/why-stat
/usr/bin/why2html
/usr/lib/why
/usr/lib/why/images
/usr/lib/why/images/accept-bw.png
/usr/lib/why/images/accept32.png
/usr/lib/why/images/bug-bw.png
/usr/lib/why/images/bug32.png
/usr/lib/why/images/clock-bw.png
/usr/lib/why/images/clock32.png
/usr/lib/why/images/delete-bw.png
/usr/lib/why/images/delete32.png
/usr/lib/why/images/help-bw.png
/usr/lib/why/images/help32.png
/usr/lib/why/images/logo-why-small.png
/usr/lib/why/images/pause-bw.png
/usr/lib/why/images/pause32.png
/usr/lib/why/images/play-bw.png
/usr/lib/why/images/play32.png
/usr/lib/why/images/stop-bw.png
/usr/lib/why/images/stop32.png
There is 246 files more in these RPM.

 
ICM