Efficient parametric runtime verification with deterministic string rewriting.

Patrick O'Neil Meredith Grigore Rosu

Published in: ASE (2013)

Keyphrases

data sets
image sequences
computationally expensive
real time
case study
database systems
data structure
edit distance