why 2.03.dfsg-1 (lpia binary) in ubuntu gutsy
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, Ergo, Yices, CVC Lite and haRVey.
Details
- Package version:
- 2.03.dfsg-1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
lpia build of why 2.03.dfsg-1 in ubuntu gutsy RELEASE produced
these files:
- why_2.03.dfsg-1_lpia.deb (2.7 MiB)
Package relationships
- Depends on:
- libatk1.0-0 (>= 1.13.2)
- libc6 (>= 2.6-1)
- libcairo2 (>= 1.4.0)
- libfontconfig1 (>= 2.4.0)
- libglib2.0-0 (>= 2.14.0)
- libgtk2.0-0 (>= 2.11.6)
- libpango1.0-0 (>= 1.18.1)
- libx11-6
- libxcomposite1 (>= 1:0.3-1)
- libxcursor1 (>> 1.1.2)
- libxdamage1 (>= 1:1.1)
- libxext6
- libxfixes3 (>= 1:4.0.1)
- libxi6
- libxinerama1
- libxrandr2 (>= 2:1.2.0)
- libxrender1
- Suggests: