Hacker NewsOct 12

Three ways formally verified code can go wrong in practice

https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/

#HackerNews #formally_verified_code #code_quality #software_development #programming #cybersecurity

Three ways formally verified code can go wrong in practice

"Correct" doesn't mean "correct" when correctly using "correct"

Computer Things