Mind the Gap: Formal Verification and the Common Criteria

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Daniel Bruns, and Sarah Grebing
In:6th International Verification Workshop (VERIFY 2010)


Discussion paper. To appear


  author = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
  title = {Mind the Gap: Formal Verification and the {Common}
  year = 2010,
  month = jul # {~20--21},
  booktitle = {6th International Verification Workshop ({VERIFY} 2010)},
  address = {Edinburgh, United Kingdom},
  editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  note = {Discussion paper. To appear}