Introduction to C program proof using Frama-C and its WP plugin

luigiapetre / Formal-Methods-Courses

Here we collect worldwide courses teaching formal methods

32 stars 4 forks source link

Introduction to C program proof using Frama-C and its WP plugin #30

Open luigiapetre opened 6 years ago

luigiapetre commented 6 years ago

Course code, if applicable: University hosting the course: Contact person: Allan Blanchard (mail@allan-blanchard.fr) Concepts taught: Frama-C, Deductive proof, Proof of C programs Tools used: Frama-C Webpage: https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf