--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on November 2018 ---
Hi, Le 26/11/2018 à 12:31, Tomas Härdin a écrit : >> In fact, some research work has been done on that topic: >>  Certifying and Reasoning on Cost Annotations in C Programs >> https://link.springer.com/chapter/10.1007%2F978-3-642-32469-7_3 > Neat. Can't access the paper, sadly. Fortunately the French system imposes the public availability of the publications produced by researchers paid by public money: https://hal.inria.fr/hal-00702665 Hope this helps, - Claude