--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on November 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Value analysis plug-in algorithms



Hi,

I'm very impressed by the accuracy of the variation domains this plugin can
compute and I would be very interested to know which techniques are used to
achieve this, even more interested in good papers describing those
techniques. So if anyone here have a few hints on this, it would be of a
great help to me.

Regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081114/944bfd5b/attachment.html