Kit: a study in operating system verification
- 1 January 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (11) , 1382-1396
- https://doi.org/10.1109/32.41331
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- An approach to systems verificationJournal of Automated Reasoning, 1989
- Prespecification in data refinementInformation Processing Letters, 1987
- Secure Ada Target: Issues, System Design, and VerificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Scomp: A Solution to the Multilevel Security ProblemComputer, 1983
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980
- A model for verification of data security in operating systemsCommunications of the ACM, 1978
- Proof techniques for hierarchically structured programsCommunications of the ACM, 1977
- Proving multilevel security of a system designPublished by Association for Computing Machinery (ACM) ,1977
- Proof of correctness of data representationsActa Informatica, 1972
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968