Software model checking: The Bandera approach

被引：0

作者：

Dwyer, Matthew ^{[1
]}

机构：

[1] Kansas State University, Dept. of Computing and Info. Sciences, 234 Nichols Hall, Manhattan, KS 66506, United States

来源：

关键词：

All Open Access; Bronze;

D O I：

10.1007/978-0-387-35496-5_1

中图分类号：

学科分类号：

摘要：

Model checking

引用

页码：3 / 4