Saturation algorithms for model-checking pushdown systems
arXiv:1405.5593 · doi:10.4204/EPTCS.151.1
Abstract
We present a survey of the saturation method for model-checking pushdown systems.
In Proceedings AFL 2014, arXiv:1405.5272
arXiv:1405.5593 · doi:10.4204/EPTCS.151.1
We present a survey of the saturation method for model-checking pushdown systems.
In Proceedings AFL 2014, arXiv:1405.5272