Shoji Yuen (Nagoya)

A Zone based analysis of EDTPDA

EDTPDA is the Dense timed pushdown automata with a extended form
of push and pop operation exchanging local ages and clocks. A
zone-based reachability analysis is proposed by Ausmees and we
extend the technique for the extended push and pop operations as
well as the clock freezing mechanism, which we expect the
practical applications of the real-time program analysis.