# What Works (and Doesn't) Selling Formal Methods

**URL:** <https://discourse.haskell.org/t/what-works-and-doesnt-selling-formal-methods/12246>\
**Category:** Links\
**Created:** [June 5, 2025, 11:23am UTC](https://discourse.haskell.org/t/what-works-and-doesnt-selling-formal-methods/12246 "2025-06-05T11:23:04Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![simonmic](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/simonmic/32/1796_2.png) [@simonmic](https://discourse.haskell.org/u/simonmic)\
**Post date:** [June 5, 2025, 11:23am UTC](https://discourse.haskell.org/t/what-works-and-doesnt-selling-formal-methods/12246/1 "2025-06-05T11:23:04Z")

</div>

> **[What Works (and Doesn't) Selling Formal Methods](https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods)**

An excellent real-world engineering article.

---

<div class="post-metadata">

**Author:** ![jmct](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/jmct/32/3806_2.png) [@jmct](https://discourse.haskell.org/u/jmct)\
**Post date:** [June 5, 2025, 11:34pm UTC](https://discourse.haskell.org/t/what-works-and-doesnt-selling-formal-methods/12246/2 "2025-06-05T23:34:26Z")

</div>

Fun fact, Mike and I worked through this together when he was initially sketching out the ideas laid out in this post. The main chart was one I sketched out on a white board based on what I was understanding from his argument.

There’s a lot we can take away from this for the Haskell community as well. We often get caught up in interesting (genuinely!) details when that’s not what ‘sells’ an approach to someone that isn’t already bought in.