Comprehensive formal verification of an OS microkernel. Klein, G., Andronick, J., Elphinstone, K., Murray, T., Sewell, T., Kolanski, R., & Heiser, G. ACM Transactions on Computer Systems (TOCS), 32(1):1–70, 2014. tex.ids= kleinComprehensiveFormalVerification2014a, kleinComprehensiveFormalVerification2014b, kleinComprehensiveFormalVerification2014c, klein_comprehensive_2014 publisher: ACM New York, NY, USA
doi  bibtex   
@article{klein_comprehensive_2014,
	title = {Comprehensive formal verification of an {OS} microkernel},
	volume = {32},
	doi = {10/gbfsnh},
	number = {1},
	journal = {ACM Transactions on Computer Systems (TOCS)},
	author = {Klein, Gerwin and Andronick, June and Elphinstone, Kevin and Murray, Toby and Sewell, Thomas and Kolanski, Rafal and Heiser, Gernot},
	year = {2014},
	note = {tex.ids= kleinComprehensiveFormalVerification2014a, kleinComprehensiveFormalVerification2014b, kleinComprehensiveFormalVerification2014c, klein\_comprehensive\_2014
publisher: ACM New York, NY, USA},
	pages = {1--70},
}

Downloads: 0