--- layout: fc_discuss_archives title: Message 95 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



Hello to all,

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

All the best,

- Claude

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           |
Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |