Saturation algorithms for model-checking pushdown systems

arxiv: 1405.5593 · v1 · pith:IKNM2SY7new · submitted 2014-05-22 · 💻 cs.FL · cs.LO

Arnaud Carayol (LIGM , Universit\'e Paris-Est , CNRS) , Matthew Hague (Department of Computer Science , Royal Holloway University of London) This is my paper

classification 💻 cs.FL cs.LO

keywords model-checkingpushdownsaturationsystemsalgorithmsmethodsurvey

0 comments

read the original abstract

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

This paper has not been read by Pith yet.