Saturation algorithms for model-checking pushdown systems

Matthew Hague, Arnaud Carayol

Research output: Chapter in Book/Report/Conference proceedingConference contribution

65 Downloads (Pure)


We present a survey of the saturation method for model-checking pushdown systems.
Original languageEnglish
Title of host publicationProceedings of the 14th International Conference on Automata and Formal Languages
Number of pages24
Publication statusPublished - May 2014

Cite this