Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems.

Marie Fortin, Anca Muscholl, Igor Walukiewicz

Browse the full CAV paper archive.