2 search results - page 1 / 1 » Analysing Mu-Calculus Properties of Pushdown Systems |
SPIN
2010
Springer
13 years 2 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...
POPL
2007
ACM
14 years 4 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...