Extrapolating tree transformations

DOI10.1007/3-540-45657-0_46MaRDI QIDQ4804924zbMATH OpenFDO

Authors Ahmed Bouajjani, Tayssir Touili

Publication date 1 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2404/24040539.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tree regular model checking: a simulation-based approach
• Tools and Algorithms for the Construction and Analysis of Systems
• Regular model checking using widening techniques
• Regular tree model checking
• Algorithmic improvements in regular model checking.

Cited in

(17)

• TBA and tree expansion
• Tree regular model checking: a simulation-based approach
• Tree Interpolation in Vampire
• scientific article; zbMATH DE number 4014056 (Why is no real title available?)
• scientific article; zbMATH DE number 1809721 (Why is no real title available?)
• Model checking parameterized systems
• Symbolic model checking in non-Boolean domains
• Tree-Series-to-Tree-Series Transformations
• Tree transformation problem in microparallelism algorithms
• Transforming trees by successive local complementations
• Handling left-quadratic rules when completing tree automata
• A uniform (bi-)simulation-based framework for reducing tree automata
• Verifying multithreaded recursive programs with integer variables
• Computing Simulations over Tree Automata
• Complete symbolic reachability analysis using back-and-forth narrowing
• Equational approximations for tree automata completion
• A note on partially ordered tree automata

This page was built for publication: Extrapolating tree transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804924)