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

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38916-0_10 ◽

2013 ◽

pp. 168-177 ◽

Author(s):

Nikolai Kosmatov ◽

Virgile Prevosto ◽

Julien Signoles

Download Full-text