undefined | Better HN

0 pointskgraves4y ago0 comments

Even with your formal methods strawman, vulnerabilities like these are still possible in Linux and C. We need to move on.

0 comments

1 comments · 1 top-level

You can formally verify C code against a spec though.

j / k navigate · click thread line to collapse