首页
标签
formal-methods
无法使类型 类 在精益中工作
Return 最高或最低值 Z 表示法，形式化方法
你如何证明递归列表长度的终止？
如果 Petri-Net 模型状态处于循环状态，可达状态的数量是多少
ispin 帮助（LTL 公式中的不可到达状态）
根据所有先前的术语计算列表的术语
如何设计 Z 表示法中的搜索操作，搜索功能至少需要一个细节？
如何为这种情况正确设计 Z 架构？
1
2
3