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

[Frama-c-discuss] about checking xen by frama-c



On Tue, Aug 17, 2010 at 3:48 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:

> Hello,
>
> On Mon, Aug 16, 2010 at 2:56 PM, Liu Jian <gjk.liu at gmail.com> wrote:
> >      I am interested in the work about "static analysis of the Xen kernel
> > using Frama-C".
>
> I think you are referring to the article available online at:
>
> http://www.jucs.org/jucs_16_4/static_analysis_of_the/jucs_16_04_0543_0553_puccetti.pdf
>
> I would advise to leave a copy of your request in the author's
> personal mailbox, as this improves your chances he sees it eventually.
> This is, however, mid-August, so your mileage may vary.
>
     Thanks for your advise. I will contact with Armand. It maybe more
efficent.

    cheers,

     LIU Jian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100819/0b98d6ff/attachment.htm>