Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) (VECoS)
Verification and Evaluation of Computer and Communication Systems
2 - 3 July 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.