Sagar Chaki Edmund M. Clarke Alex Groce Joël Ouaknine Ofer Strichman Karen Yorav Efficient Verification of Sequential and Concurrent C Programs. 129-166 2004 25 Formal Methods in System Design 2-3 http://www.springerlink.com/index/10.1023/B:FORM.0000040026.56959.91 db/journals/fmsd/fmsd25.html#ChakiCGOSY04