--- layout: fc_discuss_archives title: Message 100 from Frama-C-discuss on January 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] A significant case study using Frama-C



Bonjour Claude,

Le 28/01/2014 08:55, Claude March? a ?crit :
> You may be interested in this recent case study conducted in part with
> Frama-C
>
> http://www.es.mdh.se/publications/3408-Evaluating_the_Run_Time_Performance_of_Synthesised_Resource_Reservation_Schedulers_Using_TAtoC__UPPAAL_and_Frama_C

Merci pour l'article !

Bonne journ?e,
david