>>85 あいたたた、本業がどうもそっちの方向にいかなくて、
　放置状態でいたら、痛い所をつかれてしまった。

>>85,>>87
「形式仕様記述」と「プログラム言語の仕様記述」
「形式仕様記述」と「モデルチェッキングを使った機能検証」と「等価性チェック」
の違いなど簡単に説明していただけると助かりますです、はぃー