DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项......

ＤＣ／Ｐ是一族实时区间逻辑的辅助定理证明工具。它采用Ｇｅｎｔｚｅｎ风格相继式演算作为基本证明系统，并结合项重写，自动判定算法等技术以提高证明的自动......