Over-Approximating Boolean Programs with Unbounded Thread Creation.

Byron Cook Daniel Kroening Natasha Sharygina

Published in: FMCAD (2006)

Keyphrases

real valued
boolean functions
data mining
digital libraries
finer granularity
data sets
bayesian networks
programming language