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

摘要

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