Login / Signup

PASS: String Solving with Parameterized Array and Interval Automaton.

Guodong LiIndradeep 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