Mop: an efficient and generic runtime verification framework.

Feng Chen Grigore Rosu

Published in: OOPSLA (2007)

Keyphrases

main contribution
domain specific
database systems
real time
probabilistic model
framework enables
data sets
high level
logic programs
lightweight