I wrote a few case studies here: https://www.hillelwayne.com/post/business-case-formal-methods/#why-use-formal-methods https://www.hillelwayne.com/post/business

I wrote a few case studies here: https://www.hillelwayne.com/post/business-case-formal-methods/#why-use-formal-methods https://www.hillelwayne.com/post/business-case-formal-method.... They're case studies that are targeted towards bosses, so focus on how it saves time and money. A couple more I know of: * https://andy.hammerhartes.de/finding-bugs-in-systems-through-formalization.html https://andy.hammerhartes.de/finding-bugs-in-systems-through... * http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-understand-xen-vchan/ http://roscidus.com/blog/blog/2019/01/01/using-tla-plus-to-u... * https://www.youtube.com/watch?v=oMSmkRGzQ64 https://www.youtube.com/watch?v=oMSmkRGzQ64