形式化方法在计算机可靠性工程中的应用

摘要：

计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前计算机软件硬件可靠性工程中的应用，介绍了一此实例，并讨论了未来的发展方向。

关键词： 形式化方法 计算机系统 可靠性工程

作者: 贲可荣 颜炯

作者单位: 工程大学计算机系

会议类型: 国内会议

会议名称: 1999年全国理论计算机科学学术年会

会议地点: 浙江金华

会议语种:中文

页码: 89～93

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