2 ms·Program verification is how we got seL4. It isn't a fool's errand.by mycall 6y agoProgram verification is how we got seL4. It isn't a fool's errand.