摘要
传统的开发方法一般基于自然语言的描述，不能表达明确的语义；本文介绍的形式化方法（ＦＭ）是基于形式逻辑和离散数学的，特别适用于安全重要性系统的说明、设计和构造。
t traditional develop methods based on natural language cannot express semantic details,In this paper,formal method based on formal logic and diverse mathematics is introduced,This method specifically appropriate to safetycritical system.
出处
《西安邮电学院学报》
1999年第2期4-7,47,共5页
Journal of Xi'an Institute of Posts and Telecommunications
基金
原邮电部中青年科技基金
