A saturation method for the modal \(\mu \)-calculus over pushdown systems
From MaRDI portal
Publication:532393
DOI10.1016/j.ic.2010.12.004zbMath1215.68151MaRDI QIDQ532393
Publication date: 4 May 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2010.12.004
parity games; pushdown systems; global model checking; modal \(\mu \)-calculus; saturation methods; winning regions
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B40: Combinatory logic and lambda calculus
Uses Software