{"_id":"tELbXtexQe6sQHPz6","bibbaseid":"klein-andronick-elphinstone-murray-sewell-kolanski-heiser-comprehensiveformalverificationofanosmicrokernel-2014","author_short":["Klein, G.","Andronick, J.","Elphinstone, K.","Murray, T.","Sewell, T.","Kolanski, R.","Heiser, G."],"bibdata":{"bibtype":"article","type":"article","title":"Comprehensive formal verification of an OS microkernel","volume":"32","doi":"10/gbfsnh","number":"1","journal":"ACM Transactions on Computer Systems (TOCS)","author":[{"propositions":[],"lastnames":["Klein"],"firstnames":["Gerwin"],"suffixes":[]},{"propositions":[],"lastnames":["Andronick"],"firstnames":["June"],"suffixes":[]},{"propositions":[],"lastnames":["Elphinstone"],"firstnames":["Kevin"],"suffixes":[]},{"propositions":[],"lastnames":["Murray"],"firstnames":["Toby"],"suffixes":[]},{"propositions":[],"lastnames":["Sewell"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Kolanski"],"firstnames":["Rafal"],"suffixes":[]},{"propositions":[],"lastnames":["Heiser"],"firstnames":["Gernot"],"suffixes":[]}],"year":"2014","note":"tex.ids= kleinComprehensiveFormalVerification2014a, kleinComprehensiveFormalVerification2014b, kleinComprehensiveFormalVerification2014c, klein_comprehensive_2014 publisher: ACM New York, NY, USA","pages":"1–70","bibtex":"@article{klein_comprehensive_2014,\n\ttitle = {Comprehensive formal verification of an {OS} microkernel},\n\tvolume = {32},\n\tdoi = {10/gbfsnh},\n\tnumber = {1},\n\tjournal = {ACM Transactions on Computer Systems (TOCS)},\n\tauthor = {Klein, Gerwin and Andronick, June and Elphinstone, Kevin and Murray, Toby and Sewell, Thomas and Kolanski, Rafal and Heiser, Gernot},\n\tyear = {2014},\n\tnote = {tex.ids= kleinComprehensiveFormalVerification2014a, kleinComprehensiveFormalVerification2014b, kleinComprehensiveFormalVerification2014c, klein\\_comprehensive\\_2014\npublisher: ACM New York, NY, USA},\n\tpages = {1--70},\n}\n\n","author_short":["Klein, G.","Andronick, J.","Elphinstone, K.","Murray, T.","Sewell, T.","Kolanski, R.","Heiser, G."],"key":"klein_comprehensive_2014","id":"klein_comprehensive_2014","bibbaseid":"klein-andronick-elphinstone-murray-sewell-kolanski-heiser-comprehensiveformalverificationofanosmicrokernel-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["comprehensive","formal","verification","microkernel","klein","andronick","elphinstone","murray","sewell","kolanski","heiser"],"title":"Comprehensive formal verification of an OS microkernel","year":2014}