Efficient CTL model-checking for pushdown systems

@article{Song2014EfficientCM,
  title={Efficient CTL model-checking for pushdown systems},
  author={Fu Song and Tayssir Touili},
  journal={Theor. Comput. Sci.},
  year={2014},
  volume={549},
  pages={127-145}
}

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 30 references

Model Checking

E. M. Clarke, O. Grumberg, D. A. Peled
MIT Press, Cambridge, MA, USA • 1999
View 4 Excerpts
Highly Influenced

An Automata-Theoretic Approach to Infinite-State Systems

Essays in Memory of Amir Pnueli • 2010
View 5 Excerpts
Highly Influenced

Global Model-Checking of Infinite-State Systems

CAV 2004 • 2004
View 4 Excerpts
Highly Influenced

Model Checking CTL Properties of Pushdown Systems

FSTTCS • 2000
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…