--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on November 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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