Formal Verification of a Microkernel Used in Dependable Software Systems

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Baumann, Bernhard Beckert, Holger Blasum und Thorsten Bormer
In:28th International Conference on Computer Safety, Reliability and Security
Verleger:Springer
Reihe:LNCS 5775
Jahr:2009
Seiten: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
}