Install why by entering the following commands in the terminal:
sudo apt update sudo apt install why
Description:
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).
Homepage: http://krakatoa.lri.fr/
Version: 2.39-2build1
Section: universe/math