Lessons Learned From Microkernel Verification: Specification is the New Bottleneck

@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,
  venue        = {Sydney, Australia}
}