2 search results - page 1 / 1 » Analysing Mu-Calculus Properties of Pushdown Systems |
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
167
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...