--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on February 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : RTE plugin



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>