A Structured Temporal Logic Language:XYZ/SE
谢洪亮;龚洁;等
【期刊名称】《计算机科学技术学报:英文版》 【年(卷),期】1991(006)001
【摘要】In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case. 【总页数】10页(1-10)
【关键词】程序设计;XYZ系统;逻辑语言 【作者】谢洪亮;龚洁;等 【
作
者
单
位
】
Instituteofsoftware,AcademiaSinica,Beijing100080;Instituteofsoftware,AcademiaSinica,Beijing100080 【正文语种】英文 【中图分类】TP311.1 【相关文献】