Frama-C

Sam Stuewe samuel.stuewe at gmail.com
Sun Jun 30 06:33:30 UTC 2019


On June 29, 2019 10:28:27 PM CDT, Joe Nelson <joe at begriffs.com> wrote:
>Hi Sam, thanks for giving your presentation, I enjoyed it. Forgot how
>many UB items were listed in Annex J so it was a fun exercise when you
>asked the audience to estimate it.
Joe, thanks! And yeah, I think it usually takes people by surprise. 

>I found the frama-c prover particularly interesting. Looks like there's
>an OpenBSD port [0] so I could install it on our shared server. Would
>you be interested in pairing with me to prove the correctness of some
>simple pure functions? For instance I wrote these functions [1] from
>string.h as an exercise, and perhaps they can be proven correct.
I would very much enjoy that! Let me know when you would like to get that set up and I will happily figure out a schedule with you.

All the best,

-Sam


More information about the Friends mailing list