Verification of partial designs using incremental QBF.

Christian Miller Paolo Marin Bernd Becker

Published in: AI Commun. (2015)

Keyphrases

model checking
quantified boolean formulas
incremental learning
neural network
quantified boolean formulae
data driven
real time
artificial intelligence
propositional logic
partial information
formal verification
incremental clustering
learning algorithm
data sets
design principles
formal methods
database