--- layout: fc_discuss_archives title: Message 95 from Frama-C-discuss on January 2014 ---
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 |