Saturation algorithms for model-checking pushdown systems (2014)

First Author: A. Carayol And M. Hague
Attributed to:  Verification of Concurrent and Higher-Order Recursive Programs funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://pure.rhul.ac.uk/portal/en/publications/saturation-algorithms-for-modelchecking-pushdown-systems(d36740f3-dd2a-422c-bb14-9915e9541e15).html

Type: Conference/Paper/Proceeding/Abstract

Volume: 14

Parent Publication: International Conference on Automata and Formal Languages (AFL)