Media type: E-Book Title: Verification of software for Contiki-based low-power embedded systems using software model checking Other titles: Verifikation von Anwendungen für Contiki basierende low-power eingebettete Systeme mit Hilfe von Software Model Checking Contributor: Vörtler, Thilo [Author]; Hofstedt, Petra [Other]; Vierhaus, Heinrich Theodor [Other] Published: Cottbus: BTU Cottbus - Senftenberg, 2018 Extent: Online-Ressource Language: English Identifier: Keywords: Eingebettetes System ; Interrupt <Informatik> ; Bounded Model Checking ; Software ; Embedded Systems ; Interrupts ; Model Checking ; Contiki ; Eingebettete Systeme ; Unterbrechungen ; Modellprüfung Origination: University thesis: Dissertation, Cottbus, BTU Cottbus - Senftenberg, 2017 Footnote: Access State: Open Access