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

Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project

Reviewed Paper In Proceedings
Author(s):Christoph Baumann and Thorsten Bormer
In:Doctoral Symposium on Systems Software Verification (DS SSV'09)
Publisher:RWTH Aachen University
Series:Aachener Informatik Berichte
Year:2009

BibTeX

@inproceedings{BaumannBormer09,
  author    = {Christoph Baumann and Thorsten Bormer},
  title     = {Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project},
  booktitle = {Doctoral Symposium on Systems Software Verification (DS SSV'09)},
  series    = {Aachener Informatik Berichte},
  publisher = {RWTH Aachen University},
  editor    = {Huuck, R. and Klein, G. and Schlich, B.},
  year      = {2009},
  month     = jun
}