Frédéric Mangano, Simon Duquennoy, Nikolai Kosmatov. Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study. In Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay, editors, Risks and Security of Internet and Systems - 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers. Volume 10158 of Lecture Notes in Computer Science, pages 114-120, Springer, 2016. [doi]
Abstract is missing.