Carsten Sinz: Software Verification: State of the Art and Challenges. KIT-Nachwuchswissenschaftler-Symposium 2010: 69-77