自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み(はてな)
https://orgachem.hatenablog.com/entry/2020/05/28/101543