Automated Formal Verification and Testing of C Programs for Embedded Systems.

Susanne Kandl, Raimund Kirner, Peter P. Puschner

Browse the full ISORC paper archive.