Klever: Verification Framework for Critical Industrial C Programs.

Ilja S. Zakharov Evgeny Novikov Ilya Shchepetkov

Published in: CoRR (2023)

Keyphrases

main contribution
conceptual framework
industrial applications
data sets
neural network
machine learning
decision trees
high level
data model
probabilistic model
computational model
key features
verification method