[isabelle-dev] Fwd: [isabelle] seL4 open source

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Aug 1 20:56:07 CEST 2014

If someone seriously plans to setup a jenkins environment or something
similar, this seems to be a nice candidate for inclusion.


-------- Forwarded Message --------
Subject: [isabelle] seL4 open source
Date: Tue, 29 Jul 2014 10:55:45 +0000
From: Gerwin Klein <Gerwin.Klein at nicta.com.au>
To: USR Isabelle Mailinglist <isabelle-users at cl.cam.ac.uk>

The Isabelle proofs for the seL4 microkernel are now out on

and the code on

For more information see http://sel4.systems


ps: let us know if you are developing anything cool with or on the
proofs or the kernel -- we will probably set up a list of community
projects when a few of these have taken off.


The information in this e-mail may be confidential and subject to legal
professional privilege and/or copyright. National ICT Australia Limited
accepts no liability for any damage caused by this email or its attachments.


PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140801/e32d1ed2/attachment.asc>

More information about the isabelle-dev mailing list