Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable

DOI10.4230/LIPICS.CONCUR.2015.72MaRDI QIDQ5357695zbMATH OpenOpenAlexFDO

Authors Salvatore La Torre, Anca Muscholl, Igor Walukiewicz

Publication date 12 September 2017

Full work available at URL https://hal.archives-ouvertes.fr/hal-01394827

zbMATH Keywords

parametrized systemsshared memoryverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parameterized Verification of Asynchronous Shared-Memory Systems
• General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
• General decidability results for asynchronous shared-memory programs: higher-order and beyond
• scientific article; zbMATH DE number 3972173
• Safety verification of asynchronous pushdown systems with shaped stacks
• Safe nondeterminism in a deterministic-by-default parallel language
• Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems

Cited in

(10)

• General decidability results for asynchronous shared-memory programs: higher-order and beyond
• Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems
• Reachability for dynamic parametric processes
• Parameterized Verification of Asynchronous Shared-Memory Systems
• scientific article; zbMATH DE number 7204383 (Why is no real title available?)
• Existential Definability over the Subword Ordering
• Parameterized verification under TSO with data types
• Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent
• Directed regular and context-free languages
• Priority downward closures

This page was built for publication: Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable

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