Re: Challenge: Find potential use cases for non-trivial confinement

[Tom Bachmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Pierre THIERRY wrote:
> 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?
> 

This is not true for the Hurd (afaik), though it would certainly be
interesting. It should be possible to do this later.
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)

iD8DBQFEV7mdvD/ijq9JWhsRAlebAJ9AHk+doZGAmov0+GzTli4LWeLycQCdHgV7
Ll2Efl8GOtOzYlkzvZqffwc=
=cJtY
-----END PGP SIGNATURE-----