Why Don’t People Use Formal Methods? • Hillel Wayne https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/