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

Ingredients of Operating System Correctness

Reviewed Paper In Proceedings
Author(s):Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten Bormer
In:embedded world 2010 Conference
Year:2010

Note

Available at https://formal.kastel.kit.edu/beckert/pub/embeddedworld2010.pdf

BibTeX

@InProceedings{BaumannBeckertEA2010,
  author =     {Christoph Baumann and Bernhard Beckert and Holger Blasum
                and Thorsten Bormer},
  title =      {Ingredients of Operating System Correctness},
  booktitle =  {embedded world 2010 Conference},
  month =      mar,
  year =       {2010},
  venue =      {Nuremberg, Germany},
  note =       {Available at 
                https://formal.kastel.kit.edu/beckert/pub/embeddedworld2010.pdf}
}