Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study. - Frédéric Mangano; Simon Duquennoy; Nikolai Kosmatov (CRiSIS, 2016)