对象检查 swMATH ID: 645 软件作者： 谢飞；弗拉基米尔·莱文；詹姆斯·C·布朗。 描述： 使用可执行的面向对象建模语言（如XUML，UML的一种可执行方言）指定软件系统设计，可以通过模型检查验证这些系统设计。然而，由于可执行的面向对象建模语言和这些模型检查器的输入语言之间的语义和语法差异，以及这些系统设计的巨大状态空间，最先进的模型检查器并不直接适用于可执行的定向软件系统设计。本文介绍了ObjectCheck，这是一种新的工具，它支持一种对用xUML建模的可执行面向对象软件系统设计进行模型检查的方法。 主页： 网址：http://www.cs.utexas.edu/~ObjectCheck/presentations.htm 相关软件： TLPVS公司；Uppaal公司；PVS公司；自旋蛋白；如果2.0；克洛诺斯 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 ObjectCheck：用于可执行的面向对象软件系统设计的模型检查工具。 Zbl 1059.68560号谢，费；弗拉基米尔·莱文；詹姆斯·C·布朗。 2002 3位作者引用 1 詹姆斯·C·布朗。 1 弗拉基米尔·莱文 1 谢，费 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文