证明什么是可能的
作者从形式化方法咨询的角度,讨论用两个时序算子(如“始终为真”)来数学化表达系统性质,并以数据库约束、状态机等为例说明。
Tag
围绕 时序逻辑 这个主题,opc.ren 当前收录了 2 篇相关文章。
作者从形式化方法咨询的角度,讨论用两个时序算子(如“始终为真”)来数学化表达系统性质,并以数据库约束、状态机等为例说明。
《Logic for Programmers》发布了 v0.13 版本,历时四个月完成,篇幅超过 5 万字,较 v0.12 增加约 20%。作者在文中介绍了此次更新的主要变化,并说明了后续计划与下一步方向。