R.A. Karp. Proving Operating Systems Correct. UMI Research Press, Ann Arbor, Michigan, 1983. 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)
....monitors, is verified. Flon [Flon 77] treats two subjects related to the correctness of operating systems. First, a methodology for the design, implementation and verification of operating systems is discussed. Second, the problem of the total correctness of parallel programs is considered. Karp [Karp 83] proposes an extension of Pascal to 22 include a method of process communication called a module. Concurrent systems expressed in this language can be demonstrated to be failure free, which is a notion of non termination. The application of this communication model to operating systems is ....
R.A. Karp. Proving Operating Systems Correct. UMI Research Press, Ann Arbor, Michigan, 1983.
A Verified Operating System Kernel - Bevier (1987) (12 citations) (Correct)
No context found.
R.A. Karp. Proving Operating Systems Correct. UMI Research Press, Ann Arbor, Michigan, 1983.
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