TY  - CONF
ID  - cs-05-1
TI  - seL4: formal verification of an OS kernel
AU  - Klein, Gerwin
AU  - Elphinstone, Kevin
AU  - Heiser, Gernot
AU  - Andronick, June
AU  - Cock, David
AU  - Derrin, Philip
AU  - Elkaduwe, Dhammika
AU  - Engelhardt, Kai
AU  - Kolanski, Rafal
AU  - Norrish, Michael
AU  - Sewell, Thomas
AU  - Tuch, Harvey
AU  - Winwood, Simon
T2  - Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
PY  - 2009
DO  - 10.1145/1629575.1629596
UR  - https://sel4.org/Research/pdfs/sel4-formal-verification-os-kernel.pdf
ER  - 


TY  - CONF
ID  - cs-05-2
TI  - CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels
AU  - Gu, Ronghui
AU  - Shao, Zhong
AU  - Chen, Hao
AU  - Wu, Xiongnan
AU  - Kim, Jieung
AU  - Sjoberg, Vilhelm
AU  - Costanzo, David
T2  - USENIX OSDI
PY  - 2016
UR  - https://www.usenix.org/conference/osdi16/technical-sessions/presentation/gu
ER  - 


TY  - CONF
ID  - cs-05-3
TI  - IronFleet: proving practical distributed systems correct
AU  - Hawblitzel, Chris
AU  - Howell, Jon
AU  - Kapritsos, Manos
AU  - Lorch, Jacob R.
AU  - Parno, Bryan
AU  - Roberts, Michael L.
AU  - Setty, Srinath
AU  - Zill, Brian
T2  - Proceedings of the 25th Symposium on Operating Systems Principles
PY  - 2015
DO  - 10.1145/2815400.2815428
UR  - https://www.microsoft.com/en-us/research/publication/ironfleet-proving-practical-distributed-systems-correct/
ER  -