--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on August 2010 ---
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>