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

Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Browse the full TACAS paper archive.