all options
jessie  ] [  sid  ]
[ Source:  ]

Package: why (2.36-5 and others) [debports]

Links for why

Screenshot

Debian Resources:

Download Source Package :

Not found

Maintainers:

External Resources:

Similar packages:

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

Other Packages Related to why

  • depends
  • recommends
  • suggests
  • enhances

Download why

Download for all available architectures
Architecture Version Package Size Installed Size Files
arm64 (unofficial port) 2.34-2 9,665.0 kB48,670.0 kB [list of files]
powerpcspe (unofficial port) 2.36-5+b1 3,344.8 kB18,981.0 kB [list of files]