all options
jessie  ] [  sid  ]
[ Source: why  ]

Package: why (2.34-2)

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 Package Size Installed Size Files
amd64 4,935.7 kB28,133.0 kB [list of files]
armel 4,676.1 kB25,001.0 kB [list of files]
armhf 4,599.8 kB21,632.0 kB [list of files]
i386 4,775.0 kB24,480.0 kB [list of files]