QNX is used in life-critical systems. Is provability a requirement for use in life-critical systems?
On Jan 19, 2008 10:35 PM, Rogelio Serrano <[EMAIL PROTECTED]> wrote: > On Jan 19, 2008 10:16 PM, Orlando Andico <[EMAIL PROTECTED]> wrote: > > provable as in state machine? hmmm is even the hardware provable? > > > > They already formally prove correctness in life critical systems > right? Linux is too big for that. I just found out. _________________________________________________ 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
