Comment by acuozzo

13 years ago

> Is it perfect? No, and no software is.

You may want to look into seL4. (If you consider formal verification to be perfection, that is.)