2LS for Program Analysis - (Competition Contribution).

Peter Schrammel Daniel Kroening

Published in: TACAS (2016)

Keyphrases

expert systems
neural network
data mining
information systems
decision trees
dynamic programming
state space
international competition