Algorithmic Verification of Single-Pass List Processing Programs

Rajeev Alur Pavol Cerný

Published in: CoRR (2010)

Keyphrases

single pass
information processing
highly parallel
symbolic execution
data processing
real time
model checking
formal verification
stream mining
regression forests
image segmentation
database systems
hardware designs