|
| From: | Christopher Nelson |
| Subject: | RE: Challenge: Find potential use cases for non-trivial confinement |
| Date: | Tue, 2 May 2006 14:03:32 -0600 |
> 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}=-
| [Prev in Thread] | Current Thread | [Next in Thread] |