On Jan 19, 2008 10:41 PM, Drexx Laggui [personal] <[EMAIL PROTECTED]> wrote: > 19Jan2008 (UTC +8) > > On 1/19/08, Orlando Andico <[EMAIL PROTECTED]> wrote: > > provable as in state machine? hmmm is even the hardware provable? > > Not absolutely, but yeah, you can do that to a good extent... but I > think the better term is "trustworthiness". I'm into Common Criteria* > though, also known as ISO/IEC 15408. >
The highest level for CC actually requires rigorous formal proof of correctness. DO-178B is the standard for aviation. I think Linux is beyond this already. Its already a running product. Best we can do is fault removal instead of fault avoidance. And that can only be done with extensive testing. -- Lay low and nourish in obscurity _________________________________________________ Philippine Linux Users' Group (PLUG) Mailing List [email protected] (#PLUG @ irc.free.net.ph) Read the Guidelines: http://linux.org.ph/lists Searchable Archives: http://archives.free.net.ph
