Login / Signup
PASS: String Solving with Parameterized Array and Interval Automaton.
Guodong Li
Indradeep Ghosh
Published in:
Haifa Verification Conference (2013)
Keyphrases
</>
databases
combinatorial optimization
data sets
data structure
finite state automata
pattern matching
finite state machines
suffix tree
string matching
binary strings