Sign in
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