Provably trustworthy systems

Gabriele Keller
Gabriele Keller
Daniel Matichuk
Daniel Matichuk
Toby Murray
Toby Murray
Liam O'Connor
Liam O'Connor

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences, Volume 375, Issue 2104, 2017.

Cited by: 3|Bibtex|Views32|DOI:https://doi.org/10.1098/rsta.2015.0404
WOS
Other Links: pubmed.ncbi.nlm.nih.gov

Abstract:

We present recent work on building and scaling trustworthy systems with formal, machine-checkable proof from the ground up, including the operating system kernel, at the level of binary machine code. We first give a brief overview of the seL4 microkernel verification and how it can be used to build verified systems. We then show two compl...More

Code:

Data:

Your rating :
0

 

Tags
Comments