Technical Perspective Learning To Do Program Verification.

An introduction is presented to the article "seL4: Formal Verification of an Operating-System Kernel," by Gerwin Klein, June Andronick, Kevin Elphinstone, Gemot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, and Simo...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 53; no. 6; pp. 106 - 107
Main Author:	Leino, K. Rustan M.
Format:	Article
Published:	Association for Computing Machinery Jun2010
Subjects:	Software verification Computer operating systems
Online Access:	View this record in EBSCOhost