--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on January 2014 ---
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