Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks

DOI10.1007/978-3-642-40184-8_21zbMath1390.68475arXiv1401.6325OpenAlexW1593923841MaRDI QIDQ2842115

No author found.

Publication date: 12 August 2013

Published in: CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.6325

zbMATH Keywords

verificationpushdown systemsasynchronous message passing

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)

Related Items (1)

Data flow analysis of asynchronous systems using infinite abstract domains

This page was built for publication: Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks