Embedded software verification: challenges and solutions

Chao Wang, Malay K. Ganai, Shuvendu K. Lahiri, Daniel Kroening

Abstract: Embedded software are becoming more and more pervasive in our lives, and many application domains have very high reliability requirements. Ensuring high software quality while still maintaining software productivity is a challenging task. In order to address this challenge, more formal analysis and automated verification techniques are needed in addition to standard software testing.