Saturation algorithms for model-checking pushdown systems - Research

Home > Computer Science home > Research > Profile > Publications > Saturation algorithms for model-checking pushdown systems

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 proceeding › Conference contribution

Published

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

ID: 20135178

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455

Verification of Concurrent and Higher-Order Recursive Programs