Toshinori Takai 一种使用术语重写系统和抽象解释的验证技术。 (英语) Zbl 1187.68319号 van Oostrom,Vincent(编辑),重写技术和应用。第15届国际会议,RTA 2004,德国亚琛,2004年6月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22153-0/pbk)。计算机科学课堂讲稿3091119-133(2004)。 摘要:验证术语重写系统给出的过渡系统的安全性是一个不可判定的问题。本文利用抽象解释对给定TRS自动生成的问题进行了抽象。然后我们证明了在某些情况下可以确定问题。此外,我们还展示了一个新的术语重写系统的可判定子类,它有效地保持了可识别性。关于整个系列,请参见[Zbl 1052.68009号]. 引用于8文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 2012年第68季度 语法和重写系统 PDF格式BibTeX公司 XML格式引用 \textit{T.Takai},莱克特。注释计算。科学。3091119--133(2004年;Zbl 1187.68319) 全文: 内政部