Decision procedures for sequence theories
From MaRDI portal
Publication:6535526
DOI10.1007/978-3-031-37703-7_2zbMATH Open1545.68066MaRDI QIDQ6535526
Oliver Markgraf, Artur Jeż, Philipp Rümmer, Anthony Widjaja Lin
Publication date: 12 January 2024
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Cites Work
- Unnamed Item
- Unnamed Item
- Finding all solutions of equations in free groups and monoids with involution
- Finite-memory automata
- The power of symbolic automata and transducers
- On PSPACE generation of a solution set of a word equation and its applications
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- The existential theory of equations with rational constraints in free groups is PSPACE-complete
- String solving with word equations and transducers: towards a logic for analysing mutation XSS
- Graph Logics with Rational Relations
- Symbolic finite state transducers
- Recompression
- Chain-Free String Constraints
- On Synthesis of Specifications with Arithmetic
- Variable Automata over Infinite Alphabets
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
- Self-stabilizing systems in spite of distributed control
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- A new solution of Dijkstra's concurrent programming problem
- What’s Decidable about Sequences?
- Software model checking
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
- Verification, Model Checking, and Abstract Interpretation
- Quicksort
- Regular model checking revisited
- Symbolic register automata
- A solver for arrays with concatenation
- Makanin's algorithm for word equations-two improvements and a generalization
- A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms
This page was built for publication: Decision procedures for sequence theories
