Formal Verification of a Memory Allocation Module of Contiki with Frama-C: A Case Study.

Frdric Mangano, Simon Duquennoy, Nikolai Kosmatov

Browse the full CRiSIS paper archive.