Under CopyrightVörtler, ThiloThiloVörtlerRülke, SteffenSteffenRülkeHofstedt, PetraPetraHofstedt2022-03-111.8.20142012https://publica.fraunhofer.de/handle/publica/37569310.1109/DDECS.2012.621906910.24406/publica-r-3756932-s2.0-84864376935Verification of embedded systems is a challenge due to the tight combination of hardware and software. We present an approach on the automatic verification of embedded system applications for the operating system Contiki using a standard bounded model checking tool for software. By using an operating system a higher abstraction level to hardware is possible. Our approach is therefore easily applicable for the verification of different hardware platforms.en621004conference paper