相继式演算相关论文
本文致力于基于余代数的模型检测和定理证明。
形式化验证的一种主要方法是模型检测,其优势是可以自动化,并能在系统不满足性质......
区间逻辑在许多领域如人工智能、形式化方法中都有成功应用.其中,区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视.由于......
DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项......
区间逻辑在许多领域如人工智能,形式化方法中都有成功应用。其中,区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视,由于区间......