CSolve: Verifying C with Liquid Types.

Patrick Maxim Rondon Alexander Bakst Ming Kawaguchi Ranjit Jhala

Published in: CAV (2012)

Keyphrases

data sets
genetic algorithm
decision trees
mathematical model
real world
data mining
database systems
multiscale
medical images