SATABS: SAT-Based Predicate Abstraction for ANSI-C.

Edmund M. Clarke Daniel Kroening Natasha Sharygina Karen Yorav

Published in: TACAS (2005)

Keyphrases

bounded model checking
model checking
answer set programming
ai planning
formal verification
high level
sat solvers
first order logic
temporal logic
answer sets
version space
data abstraction
logic rules
knowledge base
programming language
datalog programs