Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.

Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Jonas Westman

Browse the full FMICS paper archive.