DeNAのSWET
形式手法でデータ構造を記述・検査してみよう：Alloy編 - DeNA Testing Blog
DeNA
の
SWET
Alloy
を使ってる
実装の前の仕様書の段階で、存在する欠陥を指摘する
https://herp.careers/v1/denacareer/ZYS4eo84F20e
https://engineering.dena.com/team/quality/swet/