Verified Software: Theories, Tools and Experiments - Giannakopoulou; Kroening, Daniel (Springer International Publishing, 2014)