[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: seL4 Verification (Was: L4.sec)
|
From: |
htuch |
|
Subject: |
Re: seL4 Verification (Was: L4.sec) |
|
Date: |
Sun, 10 Jun 2007 19:35:26 +1000 (EST) |
|
User-agent: |
SquirrelMail/1.5.1 |
See the following publication for a description:
http://www.ertos.nicta.com.au/publications/papers/Tuch_KN_07.abstract.pml
http://www.ertos.nicta.com.au/publications/papers/Tuch_KN_07.pdf
Cheers,
Harvey
On Sun, June 10, 2007 19:11, Pierre THIERRY wrote:
> Scribit Gernot Heiser dies 10/06/2007 hora 14:40:
>
>> One such step is (5)->(6). This is done automatically, using a formal
>> semantics (in Isabelle) of our subset of C
>
> What is this subset?
>
>
> Curiously,
> Pierre
> --
> address@hidden OpenPGP 0xD9D50D8A
> _______________________________________________
> L4-hurd mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/l4-hurd
>
>