Formal Methods: A Practical Tool For OS Implementors

Patrick Tullmann, Jeff Turner,

John McCorquodale, Jay Lepreau,

Ajay Chitturi, and Godmar Back

May 5, 1997

Flux Project

University of Utah

http://www.cs.utah.edu/projects/flux