Contiki - a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks ,
DOI : 10.1109/LCN.2004.38
Frama-C: A software analysis perspective. Formal Asp, Comput, vol.27, issue.3, pp.573-609, 2015. ,
Transmission of IPv6 packets over IEEE 802.15.4 networks, RFC, vol.4944, 2007. ,
DOI : 10.17487/rfc4944
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C, p.2015 ,
DOI : 10.1007/978-3-319-19458-5_2
ACSL: ANSI/ISO C Specification Language ,