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