CISPA
Browse
cispa_all_3088.pdf (585.28 kB)

Parameterized Verification of Systems with Global Synchronization and Guards

Download (585.28 kB)
conference contribution
posted on 2023-11-29, 18:12 authored by Nouraldin Jaber, Swen JacobsSwen Jacobs, Christopher Wagner, Milind Kulkarni, Roopsha Samanta
Inspired by distributed applications that use consensus or other agreement protocols for global coordination, we define a new computational model for parameterized systems that is based on a general global synchronization primitive and allows for global transition guards. Our model generalizes many existing models in the literature, including broadcast protocols and guarded protocols. We show that reachability properties are decidable for systems without guards, and give sufficient conditions under which they remain decidable in the presence of guards. Furthermore, we investigate cutoffs for reachability properties and provide sufficient conditions for small cutoffs in a number of cases that are inspired by our target applications.

History

Preferred Citation

Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni and Roopsha Samanta. Parameterized Verification of Systems with Global Synchronization and Guards. In: Computer Aided Verification (CAV). 2020.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

Computer Aided Verification (CAV)

Legacy Posted Date

2020-06-08

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3088, title = "Parameterized Verification of Systems with Global Synchronization and Guards", author = "Jaber, Nouraldin and Jacobs, Swen and Wagner, Christopher and Kulkarni, Milind and Samanta, Roopsha", booktitle="{Computer Aided Verification (CAV)}", year="2020", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC