Global Model Checking of Ordered Multi-Pushdown Systems

DOI10.4230/LIPICS.FSTTCS.2010.216zbMath1245.68130arXiv1209.1916OpenAlexW2151906265MaRDI QIDQ2908851

Mohamed Faouzi Atig

Publication date: 29 August 2012

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

zbMATH Keywords

concurrent programspushdown systemsglobal model-checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

On store languages and applications ⋮ Temporal logics for concurrent recursive programs: satisfiability and model checking ⋮ Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete ⋮ Data Multi-Pushdown Automata ⋮ On the Complexity of Bounded Context Switching.

This page was built for publication: Global Model Checking of Ordered Multi-Pushdown Systems