3 ms·
Probably the poster children of verification: * http://compcert.inria.fr/ http://compcert.inria.fr/ * https://sel4.systems/ https://sel4.systems/
by kmicklas 9y ago
Probably the poster children of verification:
* http://compcert.inria.fr/ http://compcert.inria.fr/
* https://sel4.systems/ https://sel4.systems/