Saturation algorithms for model-checking pushdown systems
  We present a survey of the saturation method for model-checking pushdown systems. 
Arnaud Carayol (LIGM, Universit\'e Paris-Est, CNRS), Matthew Hague   (Department of Computer Science, Royal Holloway Univers...
cs.FL cs.LO