Rule-Based Runtime Verification.

Howard Barringer Allen Goldberg Klaus Havelund Koushik Sen

Published in: VMCAI (2004)

Keyphrases

expert systems
model checking
data driven
rule base
face recognition
rule based systems
face verification
data sets
machine learning
hidden markov models
multi step
formal verification
verification method
concurrent systems
multiple inheritance
functional verification