Symbolic String Verification: An Automata-Based Approach.
Fang YuTevfik BultanMarco CovaOscar H. IbarraPublished in: SPIN (2008)
Keyphrases
- regular expressions
- data structure
- pattern matching
- model checking
- tree automata
- finite automata
- finite automaton
- finite state automata
- cellular automata
- finite state machines
- finite state
- symbolic representation
- formal verification
- high level
- neural network
- signature verification
- face verification
- suffix tree
- fingerprint verification
- asynchronous circuits
- relational databases
- connectionist models
- neural learning
- probabilistic automata