Browsing Computer Science and Automation (CSA) by Subject "parametric programs"
Now showing items 1-1 of 1
-
Verification of a Generative Separation Kernel
A Separation Kernel is a small specialized microkernel that provides a sand-boxed execution environment for a given set of processes (also called \subjects"). The subjects may communicate only via declared memory channels, ...