-----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----- _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
