Frama-C RSS News http://frama-c.com/ Frama-C News Thu, 23 May 2013 13:19:12 GMT Wed, 17 Apr 2013 13:54:55 GMT Minor release Fluorine 20130601 is available. http://frama-c.com/index.html Wed, 12 Jun 2013 13:59:22 GMT Plug-in E-ACSL 0.2 is available. http://frama-c.com/index.html Thu, 23 May 2013 13:59:22 GMT Release Fluorine 20130401 is available. http://frama-c.com/index.html Wed, 17 Apr 2013 13:54:55 GMT The reference paper Frama-C, A Software Analysis Perspective has been accepted to SEFM'12. http://frama-c.com/index.html Wed, 19 Dec 2012 15:46:41 GMT The article Combining Analyses for C Program Verification has been accepted to FMICS'12. http://frama-c.com/index.html Wed, 19 Dec 2012 15:46:41 GMT Release Oxygen 20120901 is available. http://frama-c.com/index.html Wed, 19 Sep 2012 14:32:00 GMT Evaluation version of Mthread plugin available. http://frama-c.com/index.html Wed, 19 Sep 2012 14:31:00 GMT Commercial support and license available. http://frama-c.com/index.html Tue, 16 Feb 2012 11:03:41 GMT Training courses on Frama-C are proposed by Atos Formation (in French). http://frama-c.com/index.html Fri, 27 Jan 2012 17:53:41 GMT Release of Plug-in WP 0.5 for Nitrogen-20111001 is available. http://frama-c.com/index.html Thu, 05 Jan 2012 14:38:12 GMT Plug-in E-ACSL 0.1 is available. http://frama-c.com/index.html Thu, 05 Jan 2012 13:28:10 GMT Release Nitrogen 20111001 is available. http://frama-c.com/index.html Mon, 10 Oct 2011 12:45:00 GMT Plug-in WP 0.3 for release Carbon 20110201 is available. http://frama-c.com/index.html Wed, 06 Apr 2011 06:38:51 GMT Binary Mac OS X Intel package Carbon 20110201including patchlevel 1 is available. http://frama-c.com/index.html Wed, 06 Apr 2011 06:28:48 GMT Release Carbon 20110201 is available. http://frama-c.com/index.html Mon, 07 Feb 2011 15:18:56 GMT New positions on Frama-C are available. http://frama-c.com/index.html Tue, 30 Nov 2010 10:29:30 GMT Ablogwill keep you informed on what is going on within Frama-C. http://frama-c.com/index.html Tue, 12 Oct 2010 11:54:18 GMT Release Carbon 20101202 beta-2 is available. http://frama-c.com/index.html Fri, 17 Dec 2010 10:17:11 GMT Release Carbon 20101201 beta-1 is available, with the first beta release of WP plug-in. Enjoy! http://frama-c.com/index.html Tue, 14 Dec 2010 09:20:30 GMT A brief summary ofthe training session in Berlinis available. http://frama-c.com/index.html Mon, 25 Oct 2010 14:42:30 GMT Post-doc positionson Frama-C are available at CEA LIST. http://frama-c.com/index.html Fri, 01 Oct 2010 08:49:26 GMT Atraining sessionon Frama-C will take place in Berlin on October 21-22 http://frama-c.com/index.html Fri, 10 Sep 2010 13:57:43 GMT New video illustrating an industrial use case. http://frama-c.com/index.html Wed, 21 Jul 2010 11:30:18 GMT Binary Mac OS X Intel package Boron-20100401-Why 2.26 available. http://frama-c.com/index.html Mon, 07 Jun 2010 12:03:32 GMT ACSL by Example updated for Boron by Fraunhofer FIRST http://frama-c.com/index.html Tue, 01 Jun 2010 16:00:00 GMT Binary Windows bundle Boron-20100401-Why 2.26 is available. http://frama-c.com/index.html Mon, 31 May 2010 11:00:00 GMT Bundle Boron-20100401-Why 2.24 is available. http://frama-c.com/index.html Mon, 19 Apr 2010 16:00:00 GMT Why 2.24 is available and updates the Frama-C Jessie plugin. http://frama-c.com/index.html Mon, 19 Apr 2010 14:00:00 GMT Release Boron 20100401 is available. Enjoy! http://frama-c.com/index.html Mon, 13 Apr 2010 14:00:00 GMT ACSL by Example updated by Fraunhofer FIRST http://frama-c.com/index.html Mon, 12 Apr 2010 16:00:00 GMT A thoroughACSL by Example has been released by Fraunhofer FIRST http://frama-c.com/index.html Thu, 11 Feb 2010 09:59:16 GMT An updated binary package for Mac OS X Intel is available (Why/Jessie version 2.23). http://frama-c.com/index.html Mon, 18 Jan 2010 09:13:20 GMT Why 2.23 is available and updates the Frama-C Jessie plugin. http://frama-c.com/index.html Mon, 07 Dec 2009 12:05:40 GMT User manual now available. http://frama-c.com/index.html Thu, 03 Dec 2009 10:24:00 GMT Binary packages for Mac OS X are available and contain the Jessie plugin. http://frama-c.com/index.html Tue, 17 Nov 2009 13:28:03 GMT A bundle Beryllium-20090902 + Why-2.21Value Analysis http://frama-c.com/index.html Tue, 20 Oct 2009 11:24:00 GMT Why 2.21 release is available and contains the Frama-C Jessie plugin. http://frama-c.com/index.html Tue, 20 Oct 2009 11:24:00 GMT Updated manual available for the Value Analysis http://frama-c.com/index.html Fri, 02 Oct 2009 15:08:18 GMT Release Beryllium 20090902 is available. Enjoy! http://frama-c.com/index.html Wed, 23 Sep 2009 19:00:00 GMT Why 2.22 is available and updates the Frama-C Jessie plugin. http://frama-c.com/index.html Mon, 30 Nov 2009 15:11:00 GMT Why 2.20 release is available and contains the Frama-C Jessie plugin. http://frama-c.com/index.html Wed, 07 Oct 2009 15:08:18 GMT Release Beryllium 20090901 is available. Enjoy! http://frama-c.com/index.html Tue, 1st Sep 2009 12:30:00 GMT Release Beryllium 20090601 beta 1 is available for testing http://frama-c.com/index.html Tue, 23 Jun 2009 12:30:00 GMT New manual and tutorial available for the Value Analysis http://frama-c.com/index.html Thu, 23 Apr 2009 11:23:17 GMT Migration of bug tracking systemto server <a href="http://bts.frama-c.com">bts.frama-c.com</a> http://frama-c.com/index.html Thu, 09 Apr 2009 12:26:17 GMT Frama-C training session Tuesday, March 31 2009 http://frama-c.com/index.html Mon, 16 Feb 2009 09:49:14 GMT Frama-C Lithium Mac OS X binary distribution available http://frama-c.com/index.html Mon, 09 Feb 2009 16:31:35 GMT Frama-C Lithium released http://frama-c.com/index.html Fri, 12 Dec 2008 16:01:25 GMT ACSL 1.4 released http://frama-c.com/index.html Wed, 29 Oct 2008 16:27:53 GMT