9 ms·
> 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.)
by acuozzo 14y 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.)