A Verified Operating System Kernel (1987)

by William R. Bevier
Venue:UNIVERSITY OF TEXAS AT AUSTIN
Citations:30 - 1 self

Active Bibliography

60 Kit: A Study in Operating System Verification – William R. Bevier - 1989
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
1234 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
938 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
802 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier