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

[Frama-c-discuss] Looking for paper describing Frama-C internals



On Mon, 2010-09-20 at 14:57 +0200, David MENTRE wrote:
> I would like to know more about Frama-C internals, especially
> regarding algorithms used for abstract analysis and general

More generally, does anybody know of material on abstract interpretation
that can be used to cover 2-3 lectures (90 min. each) for M.Sc.
students?
-- 
Regards,
Boris