形式手法
formal methods
自動定理証明
（
ATP
:
automated theorem proving
）
契約プログラミング
形式仕様記述
形式的検証
形式体系
モデル検査
（
model checking
）
ソフトウェア工学
、
ソフトウェアエンジニアリング
(
software engineering
)
仕様記述言語
形式手法 - Wikipedia