抽象解釈
abstract interpretation
DAEDALUS
コードに対する通常の解釈
モデル検査
記号シミュレーション
https://ja.wikipedia.org/wiki/抽象解釈