Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol.

Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Mller-Olm

Browse the full POPL paper archive.