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
Item Type: Article
Divisions: Swen Jacobs (SJ)
Depositing User: Swen Jacobs
Date Deposited: 14 Feb 2018 10:10
Last Modified: 04 Jun 2021 08:39
Primary Research Area: NRA2: Reliable Security Guarantees
URI: https://publications.cispa.saarland/id/eprint/1409

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.