Pushdown Module Checking
From MaRDI portal
Publication:5387861
DOI10.1007/11591191_35zbMath1143.68446OpenAlexW1489749161MaRDI QIDQ5387861
Aniello Murano, Adriano Peron, Laura Bozzelli
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7082
Related Items
Enriched μ–Calculus Pushdown Module Checking ⋮ Efficient CTL model-checking for pushdown systems ⋮ Model checking properties on reduced trace systems ⋮ Pushdown module checking ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Efficient CTL Model-Checking for Pushdown Systems