Lessons Learned From Microkernel Verification: Specification is the New Bottleneck

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christoph Baumann, Bernhard Beckert, Holger Blasum und Thorsten Bormer
In:Seventh Conference on Systems Software Verification (SSV 2012)
Reihe:Electronic Proceedings in Theoretical Computer Science
Band:102
Jahr:2012

BibTeX

@inproceedings{BaumannBeckertEA2012,
  author       = {Christoph Baumann and Bernhard Beckert and Holger Blasum and 
                  Thorsten Bormer},
  title        = {Lessons Learned From Microkernel Verification: 
                  Specification is the New Bottleneck},
  booktitle    = {Seventh Conference on Systems Software Verification ({SSV} 2012)},
  editor       = {Franck Cassez and Ralf Huuck and Gerwin Klein and Bastian Schlich},
  series       = {Electronic Proceedings in Theoretical Computer Science},
  volume       = {102},
  year         = {2012},
  month        = nov,
  place        = {Sydney, Australia}
}