论文部分内容阅读
形式化方法的主要研究对象是计算机系统的设计和验证,近扯为,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Model-SCSM)。给出了模型的应用实例。