L. Robinson, K.N. Levitt, P.G. Neumann, and A.R. Saxena. A formal methodology for the design of operating system software. In R. Yeh (editors), Current Trends in Programming Methodology I, PrenticeHall, 61--110, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Kit: A Study in Operating System Verification - Bevier (1989) (23 citations) (Correct)
....data refinement [Hoare 87] or data reification [Jones 86] Several attempts to verify operating systems cite the work of Milner, Hoare and others who have suggested similar approaches to verification. The methodology for designing operating system software proposed by Robinson and his co workers [Robinson 77] calls for a sequence of abstract machines, each 21 related by an implements relation. Kemmerer [Kemmerer 82] acknowledges a debt to Milner and Hoare in the verification of a portion of the security kernel of UCLA Secure Unix. Rushby [Rushby 81a] described an approach to kernel verification ....
L. Robinson, K.N. Levitt, P.G. Neumann, A.R. Saxena. A Formal Methodology for the Design of Operating System Software. Current Trends in Programming Methodology, Volume I: Software Specification and Design. Prentice-Hall, Englewood Cliffs, N.J., 1977.
PSOS Revisited - Neumann, Feiertag (2003) (1 citation) Self-citation (Neumann) (Correct)
No context found.
L. Robinson, K.N. Levitt, P.G. Neumann, and A.R. Saxena. A formal methodology for the design of operating system software. In R. Yeh (editors), Current Trends in Programming Methodology I, PrenticeHall, 61--110, 1977.
The foundations of a provably secure operating system (PSOS) - Richard Feiertag Peter (1979) (1 citation) Self-citation (Neumann) (Correct)
No context found.
Robinson, L., and K. N. Levitt, P. G. Neumann and A. R. Saxena, "A Formal Methodology for the Design of Operating System Software," in Current Tends in Programming Methodology, R. T. Yeh ed., Vol. 1, PrenticeHall, Englewood Cliffs, New Jersery, April 1977.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
L. Robinson, K.N. Levitt, P.G. Neumann, and A.R. Saxena. A formal methodology for the design of operating system software. In R. Yeh (editors), Current Trends in Programming Methodology I, Prentice-Hall, 61-110, 1977.
A Verified Operating System Kernel - Bevier (1987) (12 citations) (Correct)
No context found.
L. Robinson, K.N. Levitt, P.G. Neumann, A.R. Saxena. A Formal Methodology for the Design of Operating System Software. Current Trends in Programming Methodology, Volume I: Software Specification and Design. Prentice-Hall, Englewood Cliffs, N.J., 1977.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC