Login / Signup
07011 Abstracts Collection -- Runtime Verification.
Bernd Finkbeiner
Klaus Havelund
Grigore Rosu
Oleg Sokolsky
Published in:
Runtime Verification (2007)
Keyphrases
</>
document collections
model checking
verification method
real world
machine learning
decision trees
database
real time
information retrieval
knowledge base
clustering algorithm
natural language processing
test collection
asynchronous circuits
handwritten signature verification