Verification thesis online

[Wouter Wijngaards <wouter@NLnetLabs.nl>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

As you've already seen from his comments on this list Matthijs Mekking
has written a thesis at NLnet Labs on Verification and Formalization of
the Shim6 Protocol. In his thesis he uses an automated protocol verifier
(UPPAAL) to check the shim6 protocol.

As his term has ended (with an excellent grade), the thesis from
Matthijs is now available on the NLnet Labs website:
	http://www.nlnetlabs.nl/downloads/fvShim6thesis.pdf

Best regards,
   Wouter
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org

iD8DBQFGm1+RkDLqNwOhpPgRAoy1AJ4neiH2BCdsjtj7tOVNE2Ab82C1bwCeOO/j
ktSZ+yapYJJNHaTrfrgDOSI=
=2ezO
-----END PGP SIGNATURE-----