Here's an engineering tech talk I did at Red Hat about Frama-C. It was an internal talk but I don't suppose anyone cares ... http://oirase.annexia.org/tmp/202

Here's an engineering tech talk I did at Red Hat about Frama-C. It was an internal talk but I don't suppose anyone cares ... http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4 http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4 [134M, mp4]