Bounded Model Checking of Pointer Programs. - Charatonik, Witold; Georgieva, Lilia; Maier, Patrick (2005)