Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder

Parameterized model checking is an active research field. The system models that it considers, as well as the proof methods it uses for obtaining decidability results, are quite similar to those considered in distributed computing. We hope that our recent book helps distributed computing experts in understanding and entering parameterized model checking research. In this short note we want to give a taste of this area.

ACM SIGACT News.

(pdf) (bib)