摘要： 形式化方法是基于严密的、数学上的形式机制的计算机系统研究方法。形式化方法(FM-Formal Method)知识体系中的6个知识领域为:① 基础(Foundations);② 形式化规格(Formal specification paradigms);③ 正确性验证及演算(Correctness, verification and calculation);④ 形式化语义(Formal semantics);⑤ 可执行规格支持(Support for executable specification);⑥ 其他(Other Topics)。6个知识领域包括15个知识子领域或者知识单元:FM01 阅读全文