The Static Analyzer Infer in SV-COMP (Competition Contribution).

Matthias Kettl Thomas Lemberger

Published in: TACAS (2) (2022)

Keyphrases

dynamic analysis
neural network
special case
data acquisition
data sets
databases
artificial intelligence
metadata
decision trees
computer science
artificial neural networks