http://bts.frama-c.com/dokuwiki/ 2012-02-07T03:45:47+01:00 http://bts.frama-c.com/dokuwiki/ http://bts.frama-c.com/dokuwiki/lib/images/favicon.ico text/html 2012-02-01T11:18:42+01:00 http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications&rev=1328091522&do=diff This page is dedicated to publications related to Frama-C. They are categorized by plug-ins. Manuals appear first, then founding thesis and articles and finally an inexhaustive lists of other relevant articles. Each category is sorted by inverse order of date of publication. text/html 2012-01-10T09:18:53+01:00 http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:positions&rev=1326183533&do=diff This page is dedicated to positions related to Frama-C. If one of the topic below interests you, please send a motivation letter, a CV and whatever information you deem relevant to the indicated contact. This page may be incomplete: if you would like to do interesting and innovative development and/or research in the Frama-C team, feel free to contact us. It is useful to start with background knowledge in one or several of: text/html 2012-01-10T08:36:13+01:00 http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:ensiie2011-2012-ias-tp&rev=1326180973&do=diff ENSIIE 3ème année - année 2011/2012 Enseignants : Virgile Prevosto et Julien Signoles 10 janvier 2012 Introduction Le but de ce TP est d'utiliser l'outil Frama-C et en particulier son greffon d'analyse de valeur. La version installée à l'ENSIIE est Beryllium-20090902. text/html 2012-01-09T08:57:36+01:00 http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:exercises&rev=1326095856&do=diff Value Analysis plug-in * Lab work at ENSIIE - 2011 (in French) * Lab work at ENSIIE - 2012 (in French) text/html 2011-10-21T16:10:55+01:00 http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start&rev=1319206255&do=diff Is on-topic in this wiki anything that may be of help to others users of Frama-C and related tools: tips, changes that you have noticed, workarounds, etc. If it should have been in the manual, put it here. If it's too minute, platform-specific, or temporary to be a good fit for the manual, put it here. Your goal should be to make a wiki so clear and functional that it puts the authors of Frama-C's various manuals to shame.