[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Challenge: Find potential use cases for non-trivial confinement
From: |
Pierre THIERRY |
Subject: |
Re: Challenge: Find potential use cases for non-trivial confinement |
Date: |
Tue, 2 May 2006 21:48:27 +0200 |
User-agent: |
Mutt/1.5.11+cvs20060403 |
Scribit Christopher Nelson dies 02/05/2006 hora 13:08:
> We have to patch so-called "core" software twice a month.
OK. Now how many of these software carry formal proof of their
correctness?
Because one goal of Coyotos is to proove formally the correctness of the
kernel.
Quickly,
Nowhere man
--
address@hidden
OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
- RE: Challenge: Find potential use cases for non-trivial confinement, (continued)
RE: Challenge: Find potential use cases for non-trivial confinement, Christopher Nelson, 2006/05/02
RE: Challenge: Find potential use cases for non-trivial confinement, Christopher Nelson, 2006/05/02
Re: Challenge: Find potential use cases for non-trivial confinement, Jeremy Shaw, 2006/05/02
Re: Challenge: Find potential use cases for non-trivial confinement, olafBuddenhagen, 2006/05/02
RE: Challenge: Find potential use cases for non-trivial confinement, Christopher Nelson, 2006/05/02
Re: Challenge: Find potential use cases for non-trivial confinement, olafBuddenhagen, 2006/05/02