generated at
形式的検証
形式的 + 検証
formal verification
形式検証
形式等価判定
Property Specification Language
静的コード解析（Static Code Analysis）
自動定理証明（ATP : automated theorem proving）
https://ja.wikipedia.org/wiki/形式的検証