[Frama-c-discuss] I wrote a blog post about my experiences with Frama-C so far

Tomas Härdin tjoppen at acc.umu.se
Wed Nov 21 12:01:48 CET 2018


As I've written earlier on this list, I'm still a beginner. But I think
someone might still find my experiences so far useful, so I decided to
document them:


TL;DR: I've been just as successful with Frama-C as SPARK, but aliasing
has been causing grief. I didn't get that far earlier because I don't
know enough Ada to mess around with strings or arrays.


More information about the Frama-c-discuss mailing list