Laurence Tratt (@ltratt@mastodon.social) - Mastodon
576 Posts, 79 Following, 976 Followers · Shopify / Royal Academy of Engineering Research Chair in Language Engineering.| Mastodon
If you would like to be notified of new content (blogs, essays, etc.) on my| tratt.net
576 Posts, 79 Following, 976 Followers · Shopify / Royal Academy of Engineering Research Chair in Language Engineering.| Mastodon
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 like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.| Hillel Wayne
