Tree Data Decision Diagrams
Jean‐Michel Couvreur, Duy-Tùng Nguyên · Electronic workshops in computing · 2008
In this paper, we present Tree Data Decision Diagrams, a compact data structure of symbolic verification based on term rewriting systems. By this way, we can benefit termination researches in term rewriting systems to improve the model-checking quality. Our experimental implementation uses tree automata technique that provides the capability to maintain the internal representation of data in canonical form.