形式验证 形式化方法包括: 规约( specification) 验证( verification) 形式验证包括: 模型检验( model checking 推理验证( theorem proving形式验证 ◼ 形式化方法包括： 规约（specification） 验证（verification） ◼ 形式验证包括： 模型检验（model checking） 推理验证（theorem proving）