Sign in

CSolve: Verifying C with Liquid Types.

Patrick Maxim RondonAlexander BakstMing KawaguchiRanjit Jhala
Published in: CAV (2012)
Keyphrases
  • data sets
  • genetic algorithm
  • decision trees
  • mathematical model
  • real world
  • data mining
  • database systems
  • multiscale
  • medical images