Login / Signup
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.
Simone Fulvio Rollini
Leonardo Alt
Grigory Fedyukovich
Antti Eero Johannes Hyvärinen
Natasha Sharygina
Published in:
LPAR (2013)
Keyphrases
</>
main contribution
databases
neural network
high quality
machine learning
expert systems
real time
data sets
data mining
social networks
multiscale
evolutionary algorithm
probabilistic model
heuristic search
conceptual framework