Binary package “why” in ubuntu bionic
Software verification tool for C and Java
This package contains Krakatoa and Jessie, two front-ends of the Why3
platform for deductive program verification. Krakatoa deals with Java
programs annotated in a variant of the The Java Modeling
Language. Jessie deals with C programs annotated in the ANSI/ISO C
Specification Language (ACSL).
Source package
Published versions
- why 2.39-2build1 in amd64 (Proposed)
- why 2.39-2build1 in amd64 (Release)
- why 2.39-2build1 in arm64 (Proposed)
- why 2.39-2build1 in arm64 (Release)
- why 2.39-2build1 in armhf (Proposed)
- why 2.39-2build1 in armhf (Release)
- why 2.39-2build1 in i386 (Proposed)
- why 2.39-2build1 in i386 (Release)
- why 2.39-2build1 in ppc64el (Proposed)
- why 2.39-2build1 in ppc64el (Release)
- why 2.39-2build1 in s390x (Proposed)
- why 2.39-2build1 in s390x (Release)