A SAT Characterization of Boolean-Program Correctness.

K. Rustan M. Leino

Published in: SPIN (2003)

Keyphrases

real valued
boolean functions
search algorithm
satisfiability problem
sat solvers
boolean formula
concurrent programs
phase transition
computer programs
static analysis