DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamewhy
BeschreibungA software verification tool
Archiv/RepositoryOffizielles Ubuntu Archiv lucid (universe)
Version2.23+dfsg-2
Sektionuniverse/math
Prioritätoptional
Installierte Größe20716 Byte
Hängt ab vonlibatk1.0-0 (>= 1.29.3), libc6 (>= 2.11), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.8.0), libfreety
Empfohlene Paketealt-ergo
PaketbetreuerUbuntu Developers
Quelle
Paketgröße7232018 Byte
Prüfsumme MD5044aea924b81a5cce111cc5988990876
Prüfsumme SHA10a0fa8582b69f999629928debbde68b7786341cd
Prüfsumme SHA256afebc1a4dfe5e39416d91c2d3131bd6ee25e47224ee1982c38bdbbaa14e1d712
Link zum Herunterladenwhy_2.23+dfsg-2_i386.deb
Ausführliche BeschreibungWhy aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.

Impressum
Linux is a registered trademark of Linus Torvalds