12 citations · 51 across the 20 of their papers we have counts for
1 paper · 2 filters
Arnaud Carayol, Matthew Hague
We present a survey of the saturation method for model-checking pushdown systems.