--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on October 2015 ---
Hello, I am a student who is interested in doing a project on Frama-C- Abstract Interpretation. Can you please help me to understand the basics of Frama-c first and share me any documents that would help me understand easily. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20151007/50bf485a/attachment.html>