USA · 6d

マジでGherkin で実装から仕様を書き起こさせて、TLA+で実装からモデルを書いて検証させたらどんどん不具合見つけてくれるじゃん