Software model checking with SPIN

被引：21

作者：

Holzmann, GJ ^{[1
]}

机构：

[1] CALTECH, NASA JPL, Jet Prop Lab, Lab Reliable Software, Pasadena, CA 91109 USA

来源：

ADVANCES IN COMPUTERS, VOL 65 | 2005年 / 65卷

关键词：

D O I：

10.1016/S0065-2458(05)65002-4

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：77 / 108

页数：32