https://jeffutter.dev/ https://jeffutter.dev/articles/ https://jeffutter.dev/articles/of-faults-and-favorites/ 2026-02-12 https://jeffutter.dev/articles/page/1/ https://jeffutter.dev/tags/ https://jeffutter.dev/tags/alloy/ https://jeffutter.dev/tags/formal-methods/ https://jeffutter.dev/tags/model-checking/