4 ms·
They did do formal verification for a microkernel: https://sel4.systems https://sel4.systems It's afaik the most complex piece of software with full formal ver
by namibj 5y ago
They did do formal verification for a microkernel: https://sel4.systems https://sel4.systems
It's afaik the most complex piece of software with full formal verification to date.