Artikkelen drøfter hvorfor formelle metoder for programvareverifisering fortsatt har lav utbredelse blant utviklere, til tross for åpenbare fordeler.

Kilde: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/