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

[Frama-c-discuss] MThread



Hi,

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?

Thanks,
Dharma

Dr. Dharmalingam Ganesan, PhD
Senior Research Scientist
Fraunhofer Center for Experimental Software Engineering (CESE)
5825 University Research Court (Suite 1300)
College Park, Maryland 20740

Tel: 240 487 2915

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140116/6c3f8960/attachment.html>