--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on November 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