Model-Based Verification Methods and Tools (Abstract).

Jean-Claude Fernandez Joseph Sifakis Robert de Simone

Published in: CONCUR (1994)

Keyphrases

significant improvement
databases
computational cost
machine learning methods
computationally expensive
user friendly
real world
information retrieval
knowledge base
clustering algorithm
search algorithm
preprocessing
benchmark datasets
statistical methods