Saturation algorithms for model-checking pushdown systems

Arnaud Carayol
(LIGM, Université Paris-Est, CNRS)
Matthew Hague
(Department of Computer Science, Royal Holloway University of London)

We present a survey of the saturation method for model-checking pushdown systems.

Invited Presentation in Zoltán Ésik and Zoltán Fülöp: Proceedings 14th International Conference on Automata and Formal Languages (AFL 2014), Szeged, Hungary, May 27-29, 2014, Electronic Proceedings in Theoretical Computer Science 151, pp. 1–24.
Published: 21st May 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.151.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org