Saturation algorithms for model-checking pushdown systems

Matthew Hague, Arnaud Carayol

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

74 Downloads (Pure)

Abstract

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

Original language	English
Title of host publication	Proceedings of the 14th International Conference on Automata and Formal Languages
Number of pages	24
DOIs	https://doi.org/10.4204/EPTCS.151.1
Publication status	Published - May 2014

@inproceedings{d36740f3dd2a422cbb149915e9541e15,

title = "Saturation algorithms for model-checking pushdown systems",

abstract = "We present a survey of the saturation method for model-checking pushdown systems. ",

author = "Matthew Hague and Arnaud Carayol",

year = "2014",

month = may,

doi = "10.4204/EPTCS.151.1",

language = "English",

booktitle = "Proceedings of the 14th International Conference on Automata and Formal Languages",

}

TY - GEN

T1 - Saturation algorithms for model-checking pushdown systems

AU - Hague, Matthew

AU - Carayol, Arnaud

PY - 2014/5

Y1 - 2014/5

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

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

U2 - 10.4204/EPTCS.151.1

DO - 10.4204/EPTCS.151.1

M3 - Conference contribution

BT - Proceedings of the 14th International Conference on Automata and Formal Languages

ER -