Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).

Bernhard Beckert, Daniel Bruns, Sarah Grebing

Browse the full CADE paper archive.