In this presentation, we give an overview of Contiki, a lightweight operating system for internet of things devices. We present the challenges associated to the verification of such a system, the kind of modules and properties we target and the tools we use for the verification