如何将序列分配给 TLA 的 CONSTANTS 部分中的常量？配置文件？
我已经尝试过 CONSTANTS seq = <<5,6,7>> ，但 TLC 给了我一个语法错误： 错误：TLC 发现错误 配置文件的第 1 行。它是 期待 = 或 <- 但没…
您在软件模型检查方面有什么经验？
Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…
- 共 1 页
- 1
