×

一种使用术语重写系统和抽象解释的验证技术。 (英语) 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号].

MSC公司:

60年第68季度 规范和验证(程序逻辑、模型检查等)
2012年第68季度 语法和重写系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部