Check out https://www.hillelwayne.com/post/business-case-formal-methods/ https://www.hillelwayne.com/post/business-case-formal-method... (from the same author a

Check out https://www.hillelwayne.com/post/business-case-formal-methods/ https://www.hillelwayne.com/post/business-case-formal-method... (from the same author as the OP). It's a blogpost on how to make the case for adopting formal methods, including links to case studies about its use in industry.