摘要: Since the introduction of the first version of the model checker SPIN in 1991, many papers have been written on improvements to the tool and on industrial applications of the tool. Less attention has been given to the pragmatic us... 展开
作者 | Theo C. Ruys | ||
---|---|---|---|
文集名称 | SPIN Model Checking and Software Verification | ||
出版年 | 2000 | ||
出版社/出版地 | Springer / Berlin | ||
会议名称 | International SPIN Workshop on Model Checking Software | ||
开始页/总页数 | 287 / 35 | ||
会议日期/会议地点 | 2000 / Stanford | 会议年/会议届次 | 2000 / 7th |
中图分类号 | TP3-53 TP311.52 | ||
馆藏号 | N2009EMST0010417 |