---
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
- Subject: [Frama-c-discuss] Looking for paper describing Frama-C internals
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Mon, 20 Sep 2010 16:48:28 +0200
- In-reply-to: <AANLkTi=++JuFCmovHMW6hRZXa05GP-XdC7oRApjP0oX-@mail.gmail.com>
- References: <AANLkTi=++JuFCmovHMW6hRZXa05GP-XdC7oRApjP0oX-@mail.gmail.com>
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