Saturation algorithms for model-checking pushdown systems (2014)
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)