|
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] |