Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.

Grigore Rosu Feng Chen Thomas Ball

Published in: RV (2008)

Keyphrases

desirable properties
data mining
neural network
image processing
case study
feature extraction
video sequences
digital libraries
structural properties
key properties