07011 Executive Summary -- Runtime Verification.

Bernd Finkbeiner Klaus Havelund Grigore Rosu Oleg Sokolsky

Published in: Runtime Verification (2007)

Keyphrases

model checking
document summarization
machine learning
face verification
formal methods
database
real time
databases
neural network
real world
data mining
bayesian networks
formal verification