Three ways formally verified code can go wrong in practice

[todsacerdoti]

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

Comments URL: https://news.ycombinator.com/item?id=45555727

Points: 56

# Comments: 28