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