On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference
From MaRDI portal
Publication:5357718
DOI10.4230/LIPIcs.CONCUR.2015.383zbMath1374.68300OpenAlexW2289042540MaRDI QIDQ5357718
Fu Song, Geguang Pu, Min Zhang, Weikai Miao
Publication date: 12 September 2017
Full work available at URL: https://doi.org/10.4230/LIPIcs.CONCUR.2015.383
verificationreachability problemBoolean programs with call-by-referencepushdown system with transductions
Formal languages and automata (68Q45) 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