Formal Methods: A Practical Tool for OS Implementors

TitleFormal Methods: A Practical Tool for OS Implementors
Publication TypeConference Paper
Year of Publication1997
AuthorsTullmann, P., J. Turner, J. McCorquodale, J. Lepreau, A. Chitturi, and G. Back
Date Publishedmay
PublisherIEEE Computer Society
Conference LocationCape Cod, {MA}
URLhttp://www.cs.utah.edu/flux/papers/veripc-abstract.html