4 ms·
Cool as heck. Frama-C is quite tempting, could you share any resources on how you got started w/ it?
by intelVISA 4y ago
Cool as heck. Frama-C is quite tempting, could you share any resources on how you got started w/ it?
- rwmj 4y agoHere'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]