Formal Verification of Software for the Contiki Operating System Considering Interrupts.

Thilo Vrtler, Benny Hckner, Petra Hofstedt, Thomas Klotz

Browse the full DDECS paper archive.