@inproceedings{APST10,
AUTHOR = {Alkassar, E. and Paul, W. and Starostin, A. and Tsyban, A.},
TITLE = {Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices},
VOLUME = {6217},
YEAR = {2010},
PAGES = {71-85},
SERIES = {LNCS},
BOOKTITLE = {Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10)},
PUBLISHER = {Springer},
EE = {http://www.springerlink.com/content/02jp46ur05847528/},
}