New Essay: The Business Case For Formal Methods
New essay at the site! The Business Case for Formal Methods is a primer on the financial benefits of using FM, plus case studies and a demo. It's a foundation for people to use if they want to pitch FM to their boss/team and don't know where to start. Or just use it straight.
This is engineer-targeted, as opposed to my consulting page, which has similar information but is manager-targeted. You'll probably want to use the consulting page if you just want to throw a link at the CTO.
(It feels weird writing a newsletter post and not including a tech rant, and just using this as an actual newsletter, so here's a quick rant for ya. One last minute change someone recommended was to switch the demo from People and Items to Businesses and Carbon Credits, to make it more like a serious business thing. I originally shied away from this because I don't have any domain knowledge about CCs, but now that I look back, that actually works in my favor. If someone says "well it's more complicated, you have to account for XYZ", I can show how powerful TLA+ is by modeling XYZ on the spot.)
If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.
My new book, Logic for Programmers, is now in early access! Get it here.