[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: seL4 Verification (Was: L4.sec)
From: |
Pierre THIERRY |
Subject: |
Re: seL4 Verification (Was: L4.sec) |
Date: |
Sun, 10 Jun 2007 11:11:59 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
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
signature.asc
Description: Digital signature