Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Proving Memory Separation in a Microkernel by Code Level Verification

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Baumann, Holger Blasum, Thorsten Bormer und Sergey Tverdyshev
In:1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011)
Verleger:IEEE Computer Society
Jahr:2011

BibTeX

@InProceedings{ BaumannBlasumBormerTverdyshev2011,
  author = {Christoph Baumann and Holger Blasum and Thorsten Bormer and Sergey Tverdyshev},
  title = {Proving Memory Separation in a Microkernel by Code Level Verification},
  year = {2011},
  month = apr,
  address = {Newport Beach, CA, USA},
  booktitle = {1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011)},
  publisher = {IEEE Computer Society},
  editor = {Wilfried Steiner and Roman Obermaisser}
}