Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking.

Helmut Seidl, Ralf Vogler

Browse the full ATVA paper archive.