A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper.

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles

Browse the full TAP paper archive.