SAT-Based Compositional Verification Using Lazy Learning.

Nishant Sinha Edmund M. Clarke

Published in: CAV (2007)

Keyphrases

lazy learning
bounded model checking
inductive learning
case based reasoning
model checking
formal verification
instance based learning
domain theory
temporal logic
answer set programming
naive bayes
sat solvers
ai planning
planning domains
linear temporal logic
logic programming
small number