モデル検査
model checking
抽象解釈
自動定理証明
静的コード解析
https://ja.wikipedia.org/wiki/モデル検査