DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs - (Competition Contribution).
Williame RochaHerbert RochaHussama IsmailLucas C. CordeiroBernd FischerPublished in: TACAS (2) (2017)
Keyphrases
- functional programs
- bayesian inference
- computer programs
- concept learning
- inference process
- affine invariant
- inference engine
- inductive learning
- probabilistic inference
- decision theoretic
- international competition
- data mining
- program synthesis
- constructive induction
- grammatical inference
- subgroup discovery
- rule induction
- image segmentation
- information systems
- machine learning