Thesis on verification of Fiasco's IPC implementation

[Erik Schierboom]

Hi all,

As some of you will probably already know, I have been working on the 
verification
of (a part of) Fiasco's IPC implementation. This week I have finished my 
thesis and
the result can be found at the following location: 
http://www.swyp.nl/thesis.pdf

Thanks for all the help I have received.

With regards,

Erik Schierboom