Formal Methods: A Practical Tool for OS Implementors
| Title | Formal Methods: A Practical Tool for OS Implementors |
| Publication Type | Conference Paper |
| Year of Publication | 1997 |
| Authors | Tullmann, P., J. Turner, J. McCorquodale, J. Lepreau, A. Chitturi, and G. Back |
| Date Published | may |
| Publisher | IEEE Computer Society |
| Conference Location | Cape Cod, {MA} |
| URL | http://www.cs.utah.edu/flux/papers/veripc-abstract.html |