3 ms·
What are some good examples of complex system properties you've seen verified with sufficiently advanced types?
by hwayne 9y ago
What are some good examples of complex system properties you've seen verified with sufficiently advanced types?
- kmicklas 9y agoProbably the poster children of verification: * http://compcert.inria.fr/ http://compcert.inria.fr/ * https://sel4.systems/ https://sel4.systems/