--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on February 2011 ---
Hello, To my knowledge, no there are yet no paper about the RTE plug-in. As you have seen by yourself, the cea list lsl website is quite obsolete. There is a hopefully up-to-date list of publications related to Frama-C on the Frama-C wiki : http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications. -- Julien -------- Message d'origine-------- De: frama-c-discuss-bounces at lists.gforge.inria.fr de la part de Boris Hollas Date: jeu. 24/02/2011 18:22 ?: frama-c-discuss at lists.gforge.inria.fr Objet : [Frama-c-discuss] RTE plugin Hello, are there papers on the RTE plugin? The cea list lsl website (updated on 29 July 2005) doesn't list any. -- Regards, Boris _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: non disponible Type: application/ms-tnef Taille: 3002 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110224/9506a8bd/attachment.bin>