generated at
形式手法
formal methods

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

形式手法 - Wikipedia