Embedded software verification: challenges and solutions.

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

Browse the full ICCAD paper archive.