Verifying Liveness and Real-Time of OS-Based Embedded Software.

Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach

Browse the full DSD paper archive.