A Formally-Verified C Static Analyzer.

Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy Xavier Leroy David Pichardie

Published in: POPL (2015)

Keyphrases

digital libraries
database
artificial intelligence
case study
bayesian networks
real time
databases
decision trees
training data
objective function
special case