发简信
IP属地：澳门
-
B、使用手册第一章 介绍 1.1 介绍 MCMAS是多智体系统（MAS）的模型检查器。MCMAS接受输入MAS规格说明和一组要验证的公式，并使用基于有...
-
A、安装指导
我们可以为某些平台提供自包含的二进制文件，如果您无法在您的平台上编译源代码，请与我们联系。 系统要求 目前，MCMAS已根据以下配置进行编译： ...
-
4-<Spin Model Checker, The Primer and Reference Manual>
SPIN模型检查器 我们在本书中描述的方法集中在模型检查器SPIN的使用上。待验证的系统是在八十年代和九十年代在贝尔实验室开发的，可以从网上免费...
-
3-<Spin Model Checker, The Primer and Reference Manual>
逻辑模型检查 我们用于检查软件设计正确性的方法在大多数工程学科上都是标准的。该方法称为模型检查。当软件本身无法彻底验证时，我们可以构建一个简化的...
-
2-<Spin Model Checker, The Primer and Reference Manual>
前言 "If you don't know where you're going, it doesn't really matter which...
-
1-<Spin Model Checker, The Primer and Reference Manual>
版权 为了区分商品，很多名称被制造商和销售商声明为商标。如果这些名称出现在本书中，并且Addison-Wesley出版社意识到这是一个商标声明，...