Abstract: This paper describes the principle and realization of reviewing SOFL specification. With the checklist for SOFL, it deals with two aspects relatively independent and related——process-oriented review and data-oriented review, helping reviewer find defects, internal inconsistency, incompleteness, dissatisfaction of SOFL specification. At the same time, it keeps all the recorded comments or descriptions in a well-organized archives so as to analyze.

Key words: Rigorous review, Formal verification, Inspection, Checklist

摘要： 介绍了对形式化语言SOFL进行复审的设计思想及实现，从两个既相对独立又相互关联的方面——基于process的复审和基于data的复审展开，依据checklist问题集，帮助复审人员系统而有效地发现SOFL规约的错误缺陷、内部不一致性、不完备性、不满足性，对记录的评注或错误描述归类存档、分析处理。

关键词: 严格复审, 形式化验证, 审查, 问题集

CLC Number: 

• TP391