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

Lessons Learned From Microkernel Verification

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Thorsten Bormer
In:12th International Workshop on Automated Verification of Critical Systems (AVOCS 2012)
Year:2012

BibTeX

@inproceedings{BeckertBormer2012,
  author       = {Bernhard Beckert and Thorsten Bormer},
  title        = {Lessons Learned From Microkernel Verification},
  booktitle    = {12th International Workshop on Automated Verification
                  of Critical Systems ({AVOCS} 2012)},
  year         = {2012},
  month        = sep
}