hillelwayne.com

Why Don't People Use Formal Methods?

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things lik…

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.

Open source