Research | A Broadcast Calculus | Model Checking | VSR OS Research | COS | CSK | Singularity This page is an analysis of the simple kernel defined in (Craig, 2007). Craig's definition uses the Z specification language see Z Cheat Sheet. The work on this kernel definition so far has not been as insightful as hoped.