ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).
Mikhail Y. R. GadelhaFelipe R. MonteiroLucas C. CordeiroDenis A. NicolePublished in: TACAS (3) (2019)
Keyphrases
- functional programs
- machine learning
- model checking
- inductive learning
- affine invariant
- high level
- automatic programming
- inference process
- decision theoretic
- inductive inference
- inference engine
- data sets
- bayesian networks
- affine transformation
- inductive logic programming
- probabilistic inference
- computer vision
- information systems
- knowledge representation
- explanation based learning
- computer programs
- rule induction
- moment invariants
- subgroup discovery
- database systems
- decision trees
- data mining