形式化技术及其工业应用:现状与展望

摘要：

近些年来,形式化技术的工业应用得到了长足的发展,并愈来愈引起研究人员的关注.形式化技术的成功应用归咨于:便于理解和描述的严格、可视规格语言的建立;可用于系统分析、验证的自动或半自动验证工具的开发.形式化技术的工业应用不仅可以增强所开发系统的可靠度,而且可提高系统开发的效率、同时节省系统开发成本.本文对形式化技术及其工业应用的现状进行了综述,并对该领域的未来研究进行了若干展望.

关键词：形式化方法、规格、验证、实时系统、离散事件/混杂系统

所属期刊栏目：20

分类号：TP271.8(自动化技术及设备)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：106-113