Documenti analoghi
-
Saturation algorithms for model-checking pushdown systems
di: Arnaud Carayol, et al.
Pubblicazione: (2014-05-01) -
Saturation methods for global model-checking pushdown systems
di: Hague, M
Pubblicazione: (2009) -
Saturation Methods for Global Model−Checking Pushdown Systems
di: Hague, M
Pubblicazione: (2009) -
Collapsible pushdown automata and recursion schemes
di: Hague, M, et al.
Pubblicazione: (2017) -
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
di: Hague, M, et al.
Pubblicazione: (2007)