všetky možnosti
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Zdroj: why  ]

Balík: why (2.30+dfsg-5 a iné)

Odkazy pre why

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík why:

Správcovia:

Externé zdroje:

Podobné balíky:

Software verification tool

Why 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.

Značky: Software Development: Testing and QA, Implemented in: OCaml, Role: Program

Ostatné balíky súvisiace s balíkom why

  • závisí
  • odporúča
  • navrhuje
  • enhances

Stiahnuť why

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 2.30+dfsg-5+b1 8,387.0 kB25,450.0 kB [zoznam súborov]
armel 2.30+dfsg-5 11,434.4 kB32,719.0 kB [zoznam súborov]
armhf 2.30+dfsg-5+b1 16,272.0 kB41,750.0 kB [zoznam súborov]
i386 2.30+dfsg-5+b1 7,297.5 kB20,502.0 kB [zoznam súborov]
ia64 2.30+dfsg-5+b1 16,279.3 kB41,754.0 kB [zoznam súborov]
kfreebsd-amd64 2.30+dfsg-5+b1 8,382.0 kB25,417.0 kB [zoznam súborov]
kfreebsd-i386 2.30+dfsg-5+b1 7,277.9 kB20,370.0 kB [zoznam súborov]
mips 2.30+dfsg-5+b1 16,275.3 kB41,751.0 kB [zoznam súborov]
mipsel 2.30+dfsg-5+b1 16,278.7 kB41,751.0 kB [zoznam súborov]
powerpc 2.30+dfsg-5+b1 8,018.8 kB21,736.0 kB [zoznam súborov]
s390 2.30+dfsg-5+b1 16,289.6 kB41,751.0 kB [zoznam súborov]
s390x 2.30+dfsg-5 16,293.6 kB41,752.0 kB [zoznam súborov]
sparc 2.30+dfsg-5 7,918.8 kB21,691.0 kB [zoznam súborov]