Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts

Thilo Vörtler, Benny Höckner, Petra Hofstedt, Thomas Klotz. Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts. In Ulrich Heinkel, Daniel Kriesten, Marko Rößler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. pages 20-29, Sächsische Landesbibliothek, 2015.

Abstract

Abstract is missing.