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: https://dx.doi.org/10.4204/EPTCS.151.1	bibtex	PDF

References in reconstructed bibtex, XML and HTML format (approximated).

Comments and questions to:

For website issues: