形式◯◯などの形式手法関連の用語整理
形式手法(Formal methods)
数学的に厳密に意味付けられた言語（形式仕様記述言語)を用いて情報システム（ソフトウェア、ハードウェア等）の要求や設計等を記述し、情報システムがユーザの要求等を満たしているかなど論理的に推論するための仕組みを提供する手法
形式的に記述する
数学の証明では、証明の各ステップが省略されず全て書かれていて、曖昧な導出がない感じのもの
形式的にとはどういう意味か
形式仕様記述(formal specification)
形式検証(formal verification)
検証(Verification)
妥当性検証(Validation)
形式仕様記述言語(formal specification language)
形式論理(formal logic)
形式体系(formal system)
#形式手法