Spec2

Make formal verification more practical with dual-level Specification Inference
Is freely licensed? ✅
NLNet grant pages