模型检验的过程 建模( Modeling) 规约( Specification) ■验证( Verification)模型检验的过程 ◼ 建模（Modeling） ◼ 规约（Specification） ◼ 验证（Verification）