--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] MThread



Hello Dharmalingam,

Le 16/01/2014 21:58, Dharmalingam Ganesan a ?crit :
> I?m interested in evaluating MThread but do not know where to obtain the
> binary/source for download. Will it work together well with Fluorine?

You haven't read enough MThread description page:
   http://frama-c.com/mthread.html
"""
The plug-in is currently available under a proprietary licence. You can 
contact support at frama-c.com to obtain such a licence.
"""

Best regards,
david