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

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

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

Open jff opened 5 years ago

jff commented 5 years ago

Issue by luigiapetre Tuesday Aug 21, 2018 at 10:12 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/30

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/frama-c-wp-tutorial.html Reviewed: 2021/06/25

AllanBlanchard commented 4 years ago

Hello,

Would it be possible to update the link to the tutorial with the following address?

https://allan-blanchard.fr/frama-c-wp-tutorial.html

Indeed:

the tutorial is now available in both English and French,
previous versions will be listed and available through this page.

Thank you!

jff commented 3 years ago

@AllanBlanchard Many thanks for the update and apologies for the delay. I have just updated the link.

AllanBlanchard commented 3 years ago

Thank you!