4 ms·
Even with your formal methods strawman, vulnerabilities like these are still possible in Linux and C. We need to move on.
by kgraves 5y ago
Even with your formal methods strawman, vulnerabilities like these are still possible in Linux and C. We need to move on.
- freemint 5y agoYou can formally verify C code against a spec though.