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

Formal Verification of a Microkernel Used in Dependable Software Systems

Reviewed Paper In Proceedings
Author(s):Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer
In:28th International Conference on Computer Safety, Reliability and Security
Publisher:Springer
Series:LNCS 5775
Year:2009
Pages:187-200

BibTeX

@InProceedings{BaumannBeckertBlasumBormer2009b,
  author =       {Christoph Baumann and Bernhard Beckert and
                  Holger Blasum and Thorsten Bormer},
  title =        {Formal Verification of a Microkernel Used in 
                  Dependable Software Systems},
  booktitle =    {28th International Conference on 
                  Computer Safety, Reliability and Security},
  editor =       {Bettina Buth and Gerd Rabe and Till Seyfarth},
  publisher =    {Springer},
  series =       {LNCS 5775},
  pages =        {187--200},
  year =         {2009},
  venue =	 {Hamburg, Germany},
  month =        sep
}