SATABS: SAT-based predicate abstraction for ANSI-C (0)

by E Clarke, D Kroening, N Sharygina, K Yorav
Venue:In Proceedings of TACAS 2005 [TAC05