Publication:
OS verification - now!
OS verification - now!
dc.contributor.author | Tuch, Harvey | en_US |
dc.contributor.author | Klein, Gerwin | en_US |
dc.contributor.author | Heiser, Gernot | en_US |
dc.date.accessioned | 2021-11-25T13:32:19Z | |
dc.date.available | 2021-11-25T13:32:19Z | |
dc.date.issued | 2005 | en_US |
dc.description.abstract | Hard, machine-supported formal verification of software is at a turning point. Recent years have seen theorem proving tools maturing with a number of successful, real-life applications. At the same time, small high-performance OS kernels, which can drastically reduce the size of the trusted computing base, have become more popular. We argue that the combination of those two trends makes it feasible, and desirable, to formally verify production-quality operating systems -- now. | en_US |
dc.description.uri | http://www.usenix.org/events/hotos05/final_papers/tuch.html | en_US |
dc.identifier.isbn | 1931971366 | en_US |
dc.identifier.uri | http://hdl.handle.net/1959.4/39909 | |
dc.language | English | |
dc.language.iso | EN | en_US |
dc.publisher | USENIX association | en_US |
dc.rights | CC BY-NC-ND 3.0 | en_US |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | en_US |
dc.source | Legacy MARC | en_US |
dc.title | OS verification - now! | en_US |
dc.type | Conference Paper | en |
dcterms.accessRights | open access | |
dspace.entity.type | Publication | en_US |
unsw.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
unsw.description.publisherStatement | Originally published by the USENIX Association. | en_US |
unsw.identifier.doi | https://doi.org/10.26190/unsworks/519 | |
unsw.publisher.place | Berkeley, CA, USA | en_US |
unsw.relation.faculty | Engineering | |
unsw.relation.ispartofconferenceLocation | Santa Fe, USA | en_US |
unsw.relation.ispartofconferenceName | 10th workshop on hot topics in operating systems | en_US |
unsw.relation.ispartofconferenceProceedingsTitle | Proceedings of the 10th workshop on hot topics in operating systems | en_US |
unsw.relation.ispartofconferenceYear | 2005 | en_US |
unsw.relation.ispartofpagefrompageto | 7-12 | en_US |
unsw.relation.originalPublicationAffiliation | Tuch, Harvey, Computer Science & Engineering, Faculty of Engineering, UNSW | en_US |
unsw.relation.originalPublicationAffiliation | Klein, Gerwin, Computer Science & Engineering, Faculty of Engineering, UNSW | en_US |
unsw.relation.originalPublicationAffiliation | Heiser, Gernot, Computer Science & Engineering, Faculty of Engineering, UNSW | en_US |
unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1