A Unifying View on SMT-Based Software Verification.

Dirk Beyer Matthias Dangl Philipp Wendler

Published in: J. Autom. Reason. (2018)

Keyphrases

statistical machine translation
artificial intelligence
reinforcement learning
digital libraries
modulo theories
data sets
information retrieval
search algorithm
probability distribution
co occurrence
text classification
context sensitive
word alignment