|
From: | Tom Bachmann |
Subject: | Re: Challenge: Find potential use cases for non-trivial confinement |
Date: | Tue, 02 May 2006 21:57:17 +0200 |
User-agent: | Mail/News 1.5 (X11/20060403) |
-----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-----
[Prev in Thread] | Current Thread | [Next in Thread] |