Baidu
map

Provably trustworthy systems

Klein, G; Andronick, J; Keller, G; Matichuk, D; Murray, T; O'Connor, L

Klein, G (reprint author), CSIRO, Data61, Sydney, NSW, Australia.; Klein, G (reprint author), UNSW, Sch Comp Sci & Engn, Sydney, NSW, Australia.

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2017; 375 (2104):

Abstract

We present recent work on building and scaling trustworthy systems with formal, machine-checkable proof from the ground up, including the operating sy......

Full Text Link


Baidu
map
Baidu
map
Baidu
map