[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: |
Wed, 3 May 2006 14:34:29 +0200 |
|
User-agent: |
Mutt/1.5.11+cvs20060403 |
Scribit Tom Bachmann dies 02/05/2006 hora 21:57:
> > OK. Now how many of these software carry formal proof of their
> > correctness?
> This is not true for the Hurd (afaik)
Why?
Completely,
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