Parameterized safety verification of round-based shared-memory systems

DOI10.4230/LIPICS.ICALP.2022.113MaRDI QIDQ6560914zbMATH OpenFDO

Authors Nathalie Bertrand, Nicolas Markey, Ocan Sankur, Nicolas Waldburger

Publication date 24 June 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ICALP.2022.113

zbMATH Keywords

distributed algorithmsparameterized modelsverification

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Parameterized safety verification of round-based shared-memory systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560914)