Back to Results
First PageMeta Content
Evaluation / Trusted computing base / Microkernel / L4 microkernel family / Real-time operating systems / Gernot Heiser / Formal verification / Isabelle / Formal methods / Computer security / Computer architecture / Computing


Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst
Add to Reading List

Document Date: 2014-07-28 22:03:39

Open Document

File Size: 246,68 KB

Share Result on Facebook
UPDATE