Predicate Abstraction of ANSI-C Programs Using SAT.

Edmund M. Clarke Daniel Kroening Natasha Sharygina Karen Yorav

Published in: Formal Methods Syst. Des. (2004)

Keyphrases

hardware designs
high level
search algorithm
phase transition
satisfiability problem
stochastic local search
first order logic
computer programs
sat problem
programming environment
modulo theories
database
abstraction hierarchy
stochastic local search algorithms
sat encodings
orders of magnitude
genetic algorithm