machine-check-UX

Formal verification of software written in machine code
Is freely licensed? ✅
Website https://machine-check.org
Source https://github.com/onderjan/machine-check
NLNet grant pages