Verified Microkernel

Jason Marshall
Fri May 17 10:01:01 2002

I came across a new project out of Dresdin University, called VFiasco 
(Verified Fiasco).  VFiasco is an attempt to produce a verifiably 
correct microkernel.  It is based on a previous DU microkernel project 
called Fiasco, which is an L4 compatible microkernel licensed under the GPL.

I thought this might be just the sort of thing that would interest the 
TUNES folks.