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

Bernhard Beckert Daniel Bruns Sarah Grebing

Published in: VERIFY@IJCAR (2010)

Keyphrases

formal verification
model checking
model checker
automated verification
artificial intelligence
symbolic model checking
bounded model checking
program slicing
selection criteria
temporal logic
evaluation criteria
multiple criteria
multi criteria