@article{Alkassar:JAR-42-2-38, <br>AUTHOR = {Alkassar, E. and Hillebrand, M. A. and Leinenbach, D. C. and Schirmer, N. W.  and Starostin, A. and Tsyban, A.},<br>TITLE = {Balancing the Load: Leveraging Semantics Stack for Systems Verification},<br>VOLUME = {42, Numbers 2-4}, <br>YEAR = {2009},<br>PAGES = {389-454}, <br>BOOKTITLE = {Journal of Automated Reasoning: Special Issue on Operating Systems Verification}, <br>PUBLISHER = {Springer},<br>EDITOR = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},<br>EE = {http://dx.doi.org/10.1007/s10817-009-9123-z},<br>}