[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


Hi

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:

http://www.härdin.se/blog/2018/11/20/trying-out-frama-c/

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.

/Tomas


More information about the Frama-c-discuss mailing list