--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on January 2011 ---
Hello, Through a recent post on Frama-C blog, I discovered the Celia plugin for Frama-C: http://www.liafa.jussieu.fr/~sighirea/celia/index.html A local Free Software user also told me about the SIDAN plugin: http://www.rennes.supelec.fr/ren/rd/ssir/outils/sidan/ Does anybody know other external (i.e. not distributed with Frama-C) Frama-C plugins? Best regards, david