SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : why
Version : 2.38 Vendor : Fedora Project
Release : 1.fc26 Date : 2017-03-25 18:09:26
Group : Unspecified Source RPM : why-2.38-1.fc26.src.rpm
Size : 5.17 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, 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).

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/26/Everything/x86_64/os/Packages/w

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  why-2.38-1.fc26.x86_64.rpm
     

Provides :
why
why(x86-64)
why-coq

Requires :
emacs-filesystem
gappalib-coq
hicolor-icon-theme
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.15)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)


Content of RPM :
/usr/bin/krakatoa
/usr/lib64/why
/usr/lib64/why/coq
/usr/lib64/why/coq/Jessie_memory_model.vo
/usr/lib64/why/java_api
/usr/lib64/why/java_api/java
/usr/lib64/why/java_api/java/io
/usr/lib64/why/java_api/java/io/BufferedWriter.java
/usr/lib64/why/java_api/java/io/File.java
/usr/lib64/why/java_api/java/io/FileDescriptor.java
/usr/lib64/why/java_api/java/io/FileNotFoundException.java
/usr/lib64/why/java_api/java/io/FileReader.java
/usr/lib64/why/java_api/java/io/FilterOutputStream.java
/usr/lib64/why/java_api/java/io/IOException.java
/usr/lib64/why/java_api/java/io/InputStream.java
/usr/lib64/why/java_api/java/io/InputStreamReader.java
/usr/lib64/why/java_api/java/io/ObjectStreamClass.java
/usr/lib64/why/java_api/java/io/OutputStream.java
/usr/lib64/why/java_api/java/io/OutputStreamWriter.java
/usr/lib64/why/java_api/java/io/PrintStream.java
/usr/lib64/why/java_api/java/io/Reader.java
/usr/lib64/why/java_api/java/io/Serializable.java
/usr/lib64/why/java_api/java/io/StreamTokenizer.java
/usr/lib64/why/java_api/java/lang
/usr/lib64/why/java_api/java/lang/ArrayStoreException.java
/usr/lib64/why/java_api/java/lang/CharSequence.java
/usr/lib64/why/java_api/java/lang/Character.java
/usr/lib64/why/java_api/java/lang/Class.java
/usr/lib64/why/java_api/java/lang/Cloneable.java
/usr/lib64/why/java_api/java/lang/Comparable.java
There is 106 files more in these RPM.

 
ICM