Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder. Decidability in Parameterized Verification. SIGACT News, 47(2):53-64, 2016. [doi]

Abstract

Abstract is missing.