Benchmarking SMT Solvers on Automotive Code.

Lukas Mentel Karsten Scheibler Felix Winterer Bernd Becker Tino Teige

Published in: MBMV (2021)

Keyphrases

modulo theories
source code
automotive industry
sat solvers
neural network
static analysis
statistical machine translation
code generation
learning algorithm
natural language
logic programs