all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: why  ]

Package: why (2.34-2 and others)

Links for why


Debian Resources:

Download Source Package why:


External Resources:

Similar packages:

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.

Tags: Software Development: Testing and QA, Implemented in: OCaml, Role: Program

Other Packages Related to why

  • depends
  • recommends
  • suggests
  • enhances

Download why

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 2.34-2 9,243.2 kB48,670.0 kB [list of files]
amd64 2.34-2+b1 5,087.8 kB28,126.0 kB [list of files]
arm64 2.34-2+b1 10,230.5 kB48,663.0 kB [list of files]
armel 2.34-2+b1 4,762.2 kB24,996.0 kB [list of files]
armhf 2.34-2+b1 4,796.3 kB21,630.0 kB [list of files]
hppa (unofficial port) 2.34-2 10,648.6 kB48,671.0 kB [list of files]
hurd-i386 2.34-2 4,763.3 kB24,462.0 kB [list of files]
i386 2.34-2+b1 4,815.2 kB24,576.0 kB [list of files]
kfreebsd-amd64 2.34-2+b1 5,035.7 kB28,117.0 kB [list of files]
kfreebsd-i386 2.34-2+b1 4,777.5 kB24,568.0 kB [list of files]
m68k (unofficial port) 2.13-2 9,876.1 kB26,408.0 kB [list of files]
mips 2.34-2+b1 10,228.9 kB48,663.0 kB [list of files]
mipsel 2.34-2+b1 10,229.2 kB48,663.0 kB [list of files]
powerpc 2.34-2+b1 4,393.1 kB24,335.0 kB [list of files]
powerpcspe (unofficial port) 2.33-1 4,361.5 kB24,048.0 kB [list of files]
ppc64 (unofficial port) 2.34-2 10,668.7 kB48,671.0 kB [list of files]
ppc64el 2.34-2+b1 10,233.0 kB48,664.0 kB [list of files]
s390x 2.34-2+b2 10,230.3 kB48,664.0 kB [list of files]
sh4 (unofficial port) 2.30+dfsg-5 16,282.9 kB41,750.0 kB [list of files]
sparc64 (unofficial port) 2.30+dfsg-5 16,288.0 kB41,752.0 kB [list of files]