swMATH6351MaRDI QIDQ18478FDOQ18478
Author name not available (Why is that?)
Official website: http://www.irisa.fr/celtique/genet/timbuk/
Cited In (60)
- Towards an Efficient Implementation of Tree Automata Completion
- Reachability analysis of term rewriting systems with Timbuk
- Generalized rewrite theories, coherence completion, and symbolic methods
- Foundations of Software Science and Computation Structures
- Tree automata for detecting attacks on protocols with algebraic cryptographic primitives
- Feasible Trace Reconstruction for Rewriting Approximations
- A theoretical limit for safety verification techniques with regular fix-point computations
- Term orderings for non-reachability of (conditional) rewriting
- \texttt{Autowrite}: a tool for term rewrite systems and tree automata
- A note on partially ordered tree automata
- Descendants of a recognizable tree language for sets of linear monadic term rewrite rules
- The Isabelle collections framework
- How to Tackle Integer Weighted Automata Positivity
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
- Title not available (Why is that?)
- TAGED Approximations for Temporal Properties Model-Checking
- Title not available (Why is that?)
- Reachability analysis of fragments of mobile ambients in AC term rewriting
- Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy
- Handling left-quadratic rules when completing tree automata
- Term rewriting with prefix context constraints and bottom-up strategies
- Finer Is Better: Abstraction Refinement for Rewriting Approximations
- Handling Algebraic Properties in Automatic Analysis of Security Protocols
- Approximation-based tree regular model-checking
- Completeness of tree automata completion
- Equational approximations for tree automata completion
- Narrowing and rewriting logic: from foundations to applications
- Controlled term rewriting
- Reachability in conditional term rewriting systems
- Combining Equational Tree Automata over AC and ACI Theories
- Reachability analysis of innermost rewriting
- Symbolic Model Checking of Infinite-State Systems Using Narrowing
- HERMES
- Tiburon
- FSA
- LETHAL
- InvA
- TORPA
- Maude-NPA
- NRL
- MTBDD
- C-SHORe
- McCLIM
- Tree Automata
- Tiburon: A Weighted Tree Automata Toolkit
- The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
- Rewriting Approximations for Fast Prototyping of Static Analyzers
- Symbol different term rewrite systems
- Reachability analysis over term rewriting systems
- Termination criteria for tree automata completion
- Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting
- Rewriting approximations for properties verification over CCS specifications
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
- On tree automata that certify termination of left-linear term rewriting systems
- A logic of reachable patterns in linked data-structures
- Some decidability results on one-pass reductions
- Reachability, confluence, and termination analysis with state-compatible automata
- Decidable classes of tree automata mixing local and global constraints modulo flat theories
- One-variable context-free hedge automata
- HANDLING NON LEFT-LINEAR RULES WHEN COMPLETING TREE AUTOMATA
This page was built for software: Timbuk
