On the analysis of interacting pushdown systems

DOI10.1145/1190216.1190262zbMath1295.68159OpenAlexW4247858957MaRDI QIDQ3189810

Aarti Gupta, Vineet Kahlon

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1190216.1190262

zbMATH Keywords

\(\mu\)-calculusmodel checkingconcurrencypushdown systemsLTLdataflow analysis

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

Model Checking Concurrent Programs ⋮ Verifying parallel programs with dynamic communication structures ⋮ Verification of well-formed communicating recursive state machines ⋮ Verification of Boolean programs with unbounded thread creation ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Interprocedural Analysis of Concurrent Programs Under a Context Bound ⋮ Reasoning about Threads with Bounded Lock Chains ⋮ Verifying Parallel Programs with Dynamic Communication Structures ⋮ Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order ⋮ Model checking dynamic pushdown networks

Uses Software

• MAGIC

This page was built for publication: On the analysis of interacting pushdown systems