Why-obfuscator Installation On A Debian, Ubuntu, Kali, Fedora And Raspbian
Maintainer: Debian OCaml Maintainers
Email: [email protected] .
Website: http://krakatoa.lri.fr/
Section: math
Install why-obfuscator
-
Debian
apt-get install why
Click to copy -
Ubuntu
apt-get install why
Click to copy -
Kali Linux
apt-get install why
Click to copy -
Fedora
dnf install why
Click to copy -
Raspbian
apt-get install why
Click to copy
why
Software verification toolWhy 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.
Installation of latest why-obfuscator command is available for Debian, Ubuntu, Kali, Fedora and Raspbian. You can copy the command for your OS from above and paste it into your terminal. Once you run the command it will download the 2024 latest package from the repository and install it in your computer/server.