An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.

Danhua Shao Sarfraz Khurshid Dewayne E. Perry

Published in: FM (2009)

Keyphrases

lightweight
cost function
detection method
high accuracy
experimental evaluation
high precision
objective function
pairwise
computational cost
preprocessing
video sequences
dynamic programming
data sets
support vector machine
segmentation method
classification method
learning algorithm