Efficient verification of sequential and concurrent C programs (2004)

by S Chaki, E Clarke, A Groce, J Ouaknine, O Strichman, K Yorav
Venue:In Proc. FMSD’04