Verification of Embedded Software: Problems and Perspectives.

Patrick Cousot, Radhia Cousot

Browse the full EMSOFT paper archive.