Title: Proving operating systems correct
Subjects: Computer programs, Operating systems (Computers), Verification