Robuta

https://pure.ecnu.edu.cn/en/publications/paramoc-a-parallel-model-checker-forpushdown-systems/ ParaMoC: A Parallel Model Checker for Pushdown Systems - East China Normal University model checker pushdown systems east china parallel normal https://portal.fis.tum.de/en/publications/abstraction-refinement-with-craig-interpolation-and-symbolic-push/ Abstraction refinement with craig interpolation and symbolic pushdown systems - Technical... pushdown systems abstraction refinement craig interpolation https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2011.457 Parameterised Pushdown Systems with Non-Atomic Writes pushdown systems atomic writes non