Pages that link to "Item:Q5327478"
From MaRDI portal
The following pages link to Applications of Symbolic Finite Automata (Q5327478):
Displaying 10 items.
- An efficient SMT solver for string constraints (Q518402) (← links)
- A split-based incremental deterministic automata minimization algorithm (Q905684) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Twinning automata and regular expressions for string static analysis (Q2234078) (← links)
- Weighted Symbolic Automata with Data Storage (Q2817389) (← links)
- Implementation of Code Properties via Transducers (Q2830220) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458) (← links)
- A Formal Framework for Complex Event Processing (Q5091115) (← links)
- Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels (Q5859660) (← links)
