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