Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems

DOI10.1007/978-3-319-63390-9_9MaRDI QIDQ2164219zbMATH OpenOpenAlexFDO

Authors Marie Fortin, Anca Muscholl, Igor Walukiewicz

Publication date 12 August 2022

Full work available at URL https://doi.org/10.1007/978-3-319-63390-9_9

zbMATH Keywords

pushdown systemscontributor instanceslinear-time propertiesparameterized verification problemuniversal reachability

Mathematics Subject Classification ID

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

Recommendations

• Parameterized Verification of Asynchronous Shared-Memory Systems
• Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
• Safety verification of asynchronous pushdown systems with shaped stacks

Cited in

(12)

• Fine-grained complexity of safety verification
• Model-checking parametric lock-sharing systems against regular constraints
• Safety verification of asynchronous pushdown systems with shaped stacks
• Verification of parametric concurrent systems with prioritised FIFO resource management
• Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
• Parameterized verification under TSO with data types
• Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent
• Parameterised pushdown systems with non-atomic writes
• Temporal hyperproperties for population protocols
• Parameterized Verification of Asynchronous Shared-Memory Systems
• Verification of parametric concurrent systems with prioritized FIFO resource management.
• On the Complexity of Bounded Context Switching.

This page was built for publication: Model-checking linear-time properties of parametrized asynchronous shared-memory pushdown systems

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