Login / Signup
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant!
Franck Slama
Published in:
TAP@STAF (2016)
Keyphrases
</>
key concepts
bayesian classifiers
semi automatic
description logics
data driven
fully automatic
exam questions
machine learning
information retrieval
artificial intelligence
decision trees
logic programs
test cases
first order logic
bayes classifiers