Verification of a Generative Separation Kernel

Inzemamul Haque, Deepak D'Souza, Habeeb P +2

We present a formal verification of the functional correctness of the Muen Separation Kernel. Muen is representative of the class of modern separation kernels that leverage hardwar…