Incremental deductive & inductive reasoning for SAT-based bounded model checking.

Liang Zhang Mukul R. Prasad Michael S. Hsiao

Published in: ICCAD (2004)

Keyphrases

bounded model checking
inductive reasoning
model checking
formal verification
temporal logic
linear temporal logic
incremental learning
multi agent systems
data analysis
cognitive functions
machine learning
finite state
data mining
object oriented
information processing