Timbuk

swMATH6351MaRDI QIDQ18478FDOQ18478

Author name not available (Why is that?)

Cited In (48)

• 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
• 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