代码合约失败示例 Graph.Remove(Edge e)
这是一个简单的图形操作方法，我用代码契约来装饰它。 确保声明无法证明，但我不明白为什么！我相信它声称在调用 Remove() 后，要么该边不再在边列表…
现实世界中是否存在可证明的语言？ （斯卡拉？）
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
Haskell 函数可以通过正确性属性进行证明/模型检查/验证吗？
继续以下想法：是否有任何可证明的现实世界语言？< /a> 我不了解你，但我厌倦了编写我无法保证的代码。 在提出上述问题并得到惊人的答复（谢谢大…
想要从 UML 2.0 序列图中获取线性时序逻辑规范的工具
我正在研究软件的模型一致性。为此，我需要为 UML 2.0 序列图编写线性时序逻辑。如果任何机构有任何其他工具，请尽快回复。我将非常感激你。 我发现魅…
\old(Expression[Id]) 的 JML 评估
我想知道如何评估 \old(Expression[Id]) 形式的 JML 表达式，即如果我有 \old(vector[value-1]) code> 表达式中，\old 是否也引用“value”或仅引用…
我应该在我的软件项目中使用形式化方法吗？
Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…
您在软件模型检查方面有什么经验？
Closed. This question is opinion-based. It is not currently accepting answers. 想要改进这个问题？更新问题，以便可以通过编辑这篇文章用事实和…
- 共 1 页
- 1
