XYZ/SE公司 swMATH ID: 3027 软件作者： 谢洪亮；龚洁；唐，C.S。 描述： 一种结构化时序逻辑语言：XYZ/SE为了提高XYZ系统中时序逻辑程序的可读性并简化验证，我们在XYZ的基础语言XYZ/BE的基础上，提出了一种结构化时序逻辑语言XYZ／SE。给出了一组证明规则，并证明了它们是合理的，足以以组合的方式证明XYZ/SE程序的部分正确性。此外，我们还证明了每个XYZ/BE程序都可以转换为等效的XYZ/SE程序。因此，我们在XYZ系统中开发了一种关于序列情况的通用成分验证方法。 主页： http://www.springerlink.com/content/h55u531v63773957/fulltext.pdf 关键词： 时序逻辑程序的验证；时序逻辑语言 相关软件： 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 一种结构化时序逻辑语言：XYZ/SE。 Zbl 0725.68071号谢洪亮；龚洁；唐，C.S。 1991 5位作者引用 1 龚洁 1 他，贝聿铭 1 谢洪亮 1 姚月华 1 叶吉祥 2篇连载文章中引用 1 武汉大学学报。自然科学版 1 计算机科学与技术杂志 在2个字段中引用 2 数理逻辑与基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文