Submitted by Katie Dey on Fri, 06/14/2013 - 2:16pm
This is an example of a news item. It shows up on the group homepage because the 'publicize on group homepage' box is selected under 'publishing options' below.
Submitted by Katie Dey on Fri, 02/08/2013 - 12:12pm
**CPS-Ed 2013 Submission Deadline Extended**
At the request of several authors, we have given a one-time extension to the submission deadline.Papers may be submitted up to midnight PST on Friday, February 15th, 2013.
In 2009, the L4.verified project completed the world’s first verification of functional correctness for a general-purpose OS kernel [2], seL4. Functional correctness here was embodied by a formal theorem of refinement, which stated that the behavior of the C code that implemented the kernel accorded with an abstract specification of how the kernel was meant to function.
