--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on March 2010 ---
On Mar 11, 2010, at 12:17 AM, Yannick Moy wrote: > http://www.cs.umd.edu/~mvz/pub/notes.pdf Oh, that reminds me of this survey, which is limited to industrially deployed tools. It does not mention Caveat but we'll see to it that the next update does :) http://www-users.cs.york.ac.uk/~jim/fmsurvey.pdf Pascal -------------- section suivante -------------- Une pi?ce jointe HTML a ?t? nettoy?e... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100311/d85b82f5/attachment.htm>