> 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.
None, obviously. But Coyotos does not expect or require formal proof of
each and every driver.
-={C}=-
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
