C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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