Saturation algorithms for model-checking pushdown systems. / Hague, Matthew; Carayol, Arnaud.

Proceedings of the 14th International Conference on Automata and Formal Languages . 2014.

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

Published

Documents

Abstract

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
DOIs
Publication statusPublished - May 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 20135178