Comprehensive formal verification of an OS microkernel 论文

2014ACM Transactions on Computer Systems引用 332
DOI
Security and Verification in ComputingDistributed systems and fault toleranceAdvanced Malware Detection Techniques
网络安全Security and Verification in ComputingDistributed systems and fault toleranceAdvanced Malware Detection Techniques
相关技术:Advanced Malware Detection Techniques
关系图谱

Comprehensive formal verification of an OS microkernel · 作者

G

Gernot Heiser

R

Rafal Kolanski

T

Thomas Sewell

T

Toby Murray

K

Kevin Elphinstone

J

June Andronick

G

Gerwin Klein