关于计算科学中的形式方法

摘要：

近年来计算机硬件和软件中发展的几个人所共知的故障使人们对计算机系统可信性的问题，提高了警觉。计算科学中的形式方法在硬件、软件设计中进一步被重视。但是，形式方法的威力是否真的如此强大，置疑者不少。该文遵循这一线索，用一些实例来说明作者的一些看法。

关键词： 计算科学 形式方法 并行计算 可信性

作者: 闵应骅

作者单位: 科学院计算技术研究所(北京)

会议类型: 国内会议

会议名称: 1998年计算机专题学术会议

会议地点: 重庆

会议语种:中文

页码: 21～23

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