1热度
1回答
Spin的“深度达到”考虑什么样的状态和转换?
使用SPIN测试多个LTL公式
如何在promela中实现重复直到(条件)循环?
2热度
在SPIN公式中使用(U)ntil运算符公式
-2热度
如何使用Spin从命令行检查Promela代码
-1热度
自旋和PROMELA工作
为什么promela模型会超时?
Promela使用Spin建模
2回答
参考Promela LTL声明中的以前状态
使用SPIN进行LTL模型检查