形式◯◯などの形式手法関連の用語整理
活動：
成果物：
形式仕様 (?)
技法：
ツール：
言語・記法：
理論的基盤：
品質確認の観点：
形式手法(Formal methods)
数学的に厳密に意味付けられた言語（形式仕様記述言語)を用いて情報システム（ソフトウェア、ハードウェア等）の要求や設計等を記述し、情報システムがユーザの要求等を満たしているかなど論理的に推論するための仕組みを提供する手法 数学の証明では、証明の各ステップが省略されず全て書かれていて、曖昧な導出がない感じのもの
形式検証(formal verification) 検証(Verification)