New version of the tutorial “Introduction to C program proof withFrama-C and its WP plugin” by Allan Blanchart
allan-blanchard.fr/publis/fram

Follow

It's of course ”with Frama-C” and let me add a few tags:

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!