塞隆，A。 定理证明中区间微积分的公理化。 （英语） Zbl 0970.68142号 科林·菲奇（编辑），《计算：澳大利亚理论研讨会》，CATS 2001。第七届研讨会论文集，澳大利亚黄金海岸邦德大学，2001年1月29日至30日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。42，22 p.，仅电子版（2001年）。 摘要：我们提供了时间间隔微积分的公理化，这是一种用于表示时间间隔属性的集合理论表示法。我们在Ergo定理证明器中实现了公理化，以便允许对使用区间运算符表示的谓词进行机器检查的法律证明。然后，这些定律可以用于实时应用程序的机器辅助验证。关于整个系列，请参见[Zbl 0957.00045号]. MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：时间区间演算 软件：Ergo 6号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Cerone}，摘自：计算：澳大利亚理论研讨会，CATS 2001。第七届研讨会论文集，澳大利亚黄金海岸邦德大学，2001年1月29日至30日。阿姆斯特丹：爱思唯尔。22页（2001年；Zbl 0970.68142）