machine-check

Tool for formal verification for machine-code

Is freely licensed?	✅
Website	https://machine-check.org
Source	https://github.com/onderjan/machine-check
NLNet grant pages	https://nlnet.nl/project/machine-check