A saturation method for the modal \(\mu \)-calculus over pushdown systems

DOI10.1016/j.ic.2010.12.004zbMath1215.68151MaRDI QIDQ532393

Yong-Cai Geng, Sumit K. Garg

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

zbMATH Keywords

parity games; pushdown systems; global model checking; modal \(\mu \)-calculus; saturation methods; winning regions

Mathematics Subject Classification ID

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

• SLAM
• Bebop