A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation
复制标题

使用术语重写系统和摘要解释的验证技术

DOI：
10.1007/978-3-540-25979-4_9
复制
发表时间：
2004
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
通讯作者：
Toshinori Takai
Toshinori Takai
中科院分区：
--
文献类型：
--
作者：
Toshinori Takai

文献摘要

被引文献

相似文献

由项重写系统给出的转移系统的安全性是一个不可判定的问题。在本文中，我们给出了一个抽象的问题，这是自动生成的一个给定的TRS通过使用抽象解释。然后，我们表明，有一些情况下，该问题可以决定。此外，我们提出了一个新的可判定子类的长期重写系统，有效地保持可识别性。
Verifying the safety property of a transition system given by a term rewriting system is an undecidable problem. In this paper, we give an abstraction for the problem which is automatically generated from a given TRS by using abstract interpretation. Then we show that there are some cases in which the problem can be decided. Also we show a new decidable subclass of term rewriting systems which effectively preserves recognizability.