Applying string-rewriting to sequence-based specification.

Robert Eschbach Lan Lin Jesse H. Poore

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

edit operations
edit distance
data structure
pattern matching
regular expressions
integrity constraints
conceptual model
string matching
formal verification
rewrite rules
binary strings
arbitrary length