Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
buttondown.com
(Uncensored)
subscribe
Three ways formally verified code can go wrong in practice • Buttondown
https://buttondown.com/hillelwayne/archive/three-ways-formally-verified-code-can-go-wrong-in/
links
backlinks
Tagged with:
formalmethods
"Correct" doesn't mean "correct" when correctly using "correct"
