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

Dirk Beyer Martin Spiessl

Published in: TACAS (2) (2022)

Keyphrases

artificial intelligence
machine learning
genetic algorithm
decision making
e learning
website
decision trees
three dimensional
search algorithm
data acquisition
international competition