--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on October 2012 ---
> The experiments that have been published are "Fan-C, a Frama-C plug-in for > data flow verification", "Formal Verification of Industrial C Code using Frama-C: > a Case Study" and "Formal Verification of Software Important to Safety Using > the Frama-C Tool Suite". Thank you for providing me such detail information. These papers are very useful to me. > > You can pass several files on the commandline: > frama-c file1.c file2.c ... I have tried this command your provide. It is helpful. Thanks you for helping me so much these days. Ben 2012-10-31