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