why-obfuscator
Software verification tool
Install
- All systems
-
curl cmd.cat/why-obfuscator.sh
- Debian
-
apt-get install why
- Ubuntu
-
apt-get install why
- Kali Linux
-
apt-get install why
- Fedora
-
dnf install why
- Windows (WSL2)
-
sudo apt-get update
sudo apt-get install why
- Raspbian
-
apt-get install why
- Dockerfile
- dockerfile.run/why-obfuscator
why
Software verification tool
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, Alt-Ergo, Yices, CVC Lite and haRVey.