1. Header 1.1 Top Menu “ Simple things should be simple, complex things should be possible. „ Alan Kay 1.2 Color Line 1.3 Menu Home Features Plug-ins Download Support About Us 1. Header End 2. Content 7 Mar. 2014 Release E-ACSL 0.4 is available. 7 Mar. 2014 Release Neon 20140301 is available. What is Frama-C Video A short video Screenshots A short example A ready-to-play quick tour The first tutorial Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software. Read more… Getting Frama-C Frama-C is Open Source software. It works on Windows and Unix (Linux, Mac OS X,…) Get it now… Community A public mailing list and a bug tracking system are provided to both academic and industrial users. Join us… Features The Frama-C analyzers assist you in various source-code-related acti...