231 search results - page 2 / 47 » Mu-calculus path checking |
POPL
2007
ACM
14 years 5 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...
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
IPL
2006
13 years 5 months ago
2006
We investigate the path model checking problem for the
DSN
2011
IEEE
12 years 5 months ago
2011
IEEE
—As process technology shrinks devices, circuits experience accelerated wearout. Monitoring wearout will be critical for improving the efficiency of error detection and correctio...