On the Verification of Concurrent, Asynchronous Programs with Waiting Queues

TitleOn the Verification of Concurrent, Asynchronous Programs with Waiting Queues
Publication TypeJournal Article
Year of Publication2014
AuthorsGeeraerts, G, Heußner A, Raskin JF
Journal{ACM} {T}ransactions on {E}mbedded {C}omputing
URLhttp://www.ulb.ac.be/di/verif/ggeeraer/papers/qdas-journal.pdf