Kit: A Study in Operating System Verification (1989)

Cached

Download Links

by William R. Bevier
Citations:60 - 0 self

Active Bibliography

30 A Verified Operating System Kernel – William R. Bevier - 1987
806 The Temporal Logic of Actions – Leslie Lamport - 1993
1191 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
521 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
536 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
926 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
784 Applied Cryptography -- Protocols, Algorithms, and . . . – Bruce Schneier
469 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003