Tree regular model checking: a simulation-based approach

DOI10.1016/j.jlap.2006.02.001zbMath1101.68055MaRDI QIDQ2500700

Ahmed Rezine, Axel Legay, Parosh Aziz Abdulla, Julien d'Orso

Publication date: 17 August 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.02.001

zbMATH Keywords

simulation; rewrite systems; transducer; semi-algorithm; tree regular model checking

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems

Related Items

A Congruence-Based Perspective on Finite Tree Automata, Computing Simulations over Tree Automata, Logical characterizations of simulation and bisimulation for fuzzy transition systems, Equational approximations for tree automata completion, COMPOSED BISIMULATION FOR TREE AUTOMATA, BISIMULATION MINIMIZATION OF TREE AUTOMATA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automata-theoretic techniques for modal logics of programs
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems
• CONCUR 2004 - Concurrency Theory
• Computer Aided Verification
• Computer Aided Verification
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Computer Aided Verification
• Symbolic model checking with rich assertional languages
• Partial-order reduction in symbolic state-space exploration