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 -- [EMAIL PROTECTED] OpenPGP 0xD9D50D8A
signature.asc
Description: Digital signature
_______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
