Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!

Franck Slama

Browse the full TAP paper archive.