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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=51189671&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 51189671 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jun2010 vid: 53 iid: 6 pid: 68 pub: Association for Computing Machinery artinfo: ui: 51189671 10.1145/1743546.1743573 ppf: 106 ppct: 1 formats: tig: atl: Technical Perspective Learning To Do Program Verification. aug: au: Leino, K. Rustan M. su: Software verification Computer operating systems sug: subj: Software verification Computer operating systems ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|