Decidability in Parameterized Verification

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

[img]
Preview
Text
paper.pdf

Download (324kB) | Preview
Official URL: http://doi.acm.org/10.1145/2951860.2951873

Actions

Actions (login required)

View Item View Item