Email Gateway (Aug 19 2022 at 14:37): Email Gateway (Aug 19 2022 at 14:37):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
There is now a web site, an official date, and the count down has started:
General Dynamics and NICTA are pleased to announce that the formally verified seL4 microkernel and its proofs will be released as open source on 29th July 2014, the 5th anniversary of the first completion of its functional correctness proof.
C code and Isabelle proofs are planned to be hosted on github. The web site will be populated with more information as we progress towards the release date.
Cheers,
Gerwin
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.
Last updated: Nov 21 2024 at 12:39 UTC