Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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)
Year:2010

Note

Discussion paper.

BibTeX

@inproceedings{BeckertBrunsGrebing2012,
  author = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
  title = {Mind the Gap: Formal Verification and the {Common}
                  {Criteria}},
  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.}
}