Model checking C source code for embedded systems

Bastian Schlich, Stefan Kowalewski. Model checking C source code for embedded systems. STTT, 11(3):187-202, 2009. [doi]

Abstract

Abstract is missing.