arXiv Open Access 2014

Saturation algorithms for model-checking pushdown systems

Arnaud Carayol Matthew Hague

Lihat Sumber

Abstrak

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

cs.FL cs.LO

Arnaud Carayol

Matthew Hague

APA MLA BibTeX

Carayol, A., Hague, M. (2014). Saturation algorithms for model-checking pushdown systems. https://arxiv.org/abs/1405.5593

Lihat di Sumber

Informasi Jurnal