<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-07-28 22:03:39Evaluation 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