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...
| Publicado en: | Communications of the ACM Vol. 53; no. 6; pp. 106 - 107 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Jun2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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 Simon Winwood. |
|---|