Login / Signup
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.
Bernhard Beckert
Thorsten Bormer
Vladimir Klebanov
Published in:
FMCO (2010)
Keyphrases
</>
significant improvement
database systems
empirical studies
machine learning methods
data sets
machine learning
information retrieval
artificial intelligence
information systems
data model
computational cost
machine learning algorithms
benchmark datasets
model checking
semantic annotation
specification languages