Assertion-based verification of RTOS properties.

Marcio Ferreira da Silva Oliveira, Henning Zabel, Wolfgang Mller

Browse the full DATE paper archive.