SODA

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

Mangano, Frederic and Duquennoy, Simon and Kosmatov, Nikolai (2016) Formal Verification of a Memory Allocation Module of Contiki with Frama-C: a Case Study. In: Proceedings of the International Conference on Risks and Security of Internet and Systems (CRiSIS), Sep 2016, Roscoff, France.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
ID Code:6035
Deposited By:Simon Duquennoy
Deposited On:08 Aug 2016 13:20
Last Modified:08 Aug 2016 13:20

Repository Staff Only: item control page