Differences between the B method and Frama-C in Formal Methods

Share on twitter
Share on linkedin
Share on reddit

My interest was piqued by a question on the questions-and-answers site Quora (the irritating one that tries to get you to register by limiting the number of answers you can view in a month otherwise; no, now you’re thinking of Medium; I mean the one that was doing this from the beginning). The question was about the differences between the B method and Frama-C. The existing answer at the time was making some good points, but I thought the phrase “First you are supposed to write or find some C source codes” in the existing answer was backwards. So I wrote my own answer there.

You might also like these articles

Sign up for our monthly newsletter

Get notified of new articles !

hbspt.forms.create({ portalId: "7480657", formId: "0742fa6a-5a1c-43dd-906c-49c42388baf7" });