--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on March 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [Off-topic] Classification/taxonomy of formal methods?



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>