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)
Publisher:EasyChair
Series:EPiC Series
Volume:3
Year:2012
Pages:4-12
URL:http://easychair.org/publications/?page=1489979161

BibTeX

@inproceedings{BeckertBrunsGrebingVerify2010,
  author = {Bernhard Beckert and Daniel Bruns and Sarah Grebing},
  title = {Mind the Gap: Formal Verification and the {Common}
                  {Criteria}},
  year = {2012},
  month = jul,
  booktitle = {6th International Verification Workshop ({VERIFY}-2010)},
  address = {Edinburgh, United Kingdom},
  editor = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series = {EPiC Series},
  volume = {3},
  pages = {4--12},
  publisher = {EasyChair},
  issn = {2040-557X},
  url = {http://easychair.org/publications/?page=1489979161}
}