Formal methods and software reliability

Formal methods and software reliability
复制标题

形式化方法和软件可靠性

DOI：
10.1109/memcod.2004.1459838
复制
发表时间：
2004
期刊：
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.
影响因子：
--
通讯作者：
G. Holzmann
G. Holzmann
中科院分区：
--
文献类型：
--
作者：
G. Holzmann

文献摘要

被引文献

相似文献

在这份立场声明中，作者简要介绍了软件可靠性问题多年来的变化，以及最近在JPL建立可靠软件实验室的主要原因。
In this position statement, the author briefly describes how the software reliability problem has changed over the years, and the primary reasons for the recent creation of the Laboratory for Reliable Software at JPL.