Safe to the last instruction: automated verification of a type-safe operating system. Yang, J. & Hawblitzel, C. In Proceedings of Programming Language Design and Implementation (PLDI), pages 99-110, 2010.
Safe to the last instruction: automated verification of a type-safe operating system [link]Paper  bibtex   
@inproceedings{ dblp2890570,
  title = {Safe to the last instruction: automated verification of a type-safe operating system},
  author = {Jean Yang and Chris Hawblitzel},
  author_short = {Yang, J. and Hawblitzel, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp2890570},
  id = {dblp2890570},
  biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/YangH10},
  url = {http://doi.acm.org/10.1145/1806596.1806610},
  conference = {PLDI},
  pages = {99-110},
  text = {PLDI 2010:99-110},
  booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}
}

Downloads: 0