메뉴 건너뛰기




Volumn 1855, Issue , 2000, Pages 69-84

Binary reachability analysis of discrete pushdown timed automata

Author keywords

[No Author keywords available]

Indexed keywords

CLOCKS; COMPUTER AIDED ANALYSIS; TEMPORAL LOGIC;

EID: 84944408189     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722167_9     Document Type: Conference Paper
Times cited : (67)

References (18)
  • 2
    • 0028413052 scopus 로고
    • Automata for modeling real-time systems
    • R. Alur and D. Dill, “Automata for modeling real-time systems," Theoretical Com- puter Science, 126 (1994) 183-236
    • (1994) Theoretical Com- Puter Science , vol.126 , pp. 183-236
    • Alur, R.1    Dill, D.2
  • 3
    • 0028202370 scopus 로고
    • A really temporal logic
    • R. Alur, T. A. Henzinger, “A really temporal logic," J. ACM, 41 (1994) 181-204
    • (1994) J. ACM , vol.41 , pp. 181-204
    • Alur, R.1    Henzinger, T.A.2
  • 4
    • 84944409047 scopus 로고    scopus 로고
    • Reachability Analysis of Pushdown Auto- mata: Application to Model-Checking
    • A. Bouajjani, J. Esparza, and O. Maler, “Reachability Analysis of Pushdown Auto- mata: Application to Model-Checking,", In CONCUR'97, LNCS 1243, pp. 135-150
    • In CONCUR'97, LNCS , pp. 135-150
    • Bouajjani, A.1    Esparza, J.2    Maler, O.3
  • 5
    • 0038639611 scopus 로고
    • On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures
    • A. Bouajjani, R. Echahed, and R. Robbana, “On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures,", In Hybrid System II, LNCS 999, 1995, pp. 64-85
    • (1995) In Hybrid System II, LNCS , vol.999 , pp. 64-85
    • Bouajjani, A.1    Echahed, R.2    Robbana, R.3
  • 6
    • 84947274672 scopus 로고
    • Efficient timed reachability analysis using clock difference diagrams
    • G. Behrmann, K. G. Larsen, J. Pearson, C. Weise and W. Yi, “Efficient timed reachability analysis using clock difference diagrams,", In CAV'99, LNCS 1633, pp. 341-353
    • (1633) In CAV'99, LNCS , pp. 341-353
    • Behrmann, G.1    Larsen, K.G.2    Pearson, J.3    Weise, C.4    Yi, W.5
  • 7
    • 84947479623 scopus 로고    scopus 로고
    • Symbolic verification with periodic sets
    • B. Boigelot and P. Wolper, “Symbolic verification with periodic sets," In CAV'94, LNCS 818, pp. 55-67
    • CAV'94, LNCS , vol.818 , pp. 55-67
    • Boigelot, B.1    Wolper, P.2
  • 9
    • 84863901157 scopus 로고    scopus 로고
    • Multiple counters automata, safety analysis and Pres- burger arithmetic
    • H. Comon and Y. Jurski, “Multiple counters automata, safety analysis and Pres- burger arithmetic," In CAV'98, LNCS 1427, pp. 268-279.
    • In CAV'98, LNCS , pp. 268-279
    • Comon, H.1    Jurski, Y.2
  • 10
    • 84888234004 scopus 로고
    • Timed Automata and the Theory of Real Numbers
    • H. Comon and Y. Jurski, “Timed Automata and the Theory of Real Numbers," In CONCUR'99, LNCS 1664, pp. 242-257
    • (1664) In CONCUR'99, LNCS , pp. 242-257
    • Comon, H.1    Jurski, Y.2
  • 12
    • 0003246762 scopus 로고    scopus 로고
    • A direct symbolic approach to model checking pushdown systems
    • A. Finkel, B. Willems and P. Wolper”A direct symbolic approach to model checking pushdown systems," In INFINITY'97.
    • INFINITY'97
    • Finkel, A.1    Willems, B.2    Wolper, P.3
  • 13
    • 0019549914 scopus 로고
    • The Complexity of Decision Problems for Finite-Turn Multicounter Machines
    • E. Gurari and O. Ibarra, “The Complexity of Decision Problems for Finite-Turn Multicounter Machines," J. Computer and System Sciences, 22 (1981) 220-229
    • (1981) J. Computer and System Sciences , vol.22 , pp. 220-229
    • Gurari, E.1    Ibarra, O.2
  • 15
    • 84976713661 scopus 로고
    • Reversal-bounded multicounter machines and their decision pro- blems
    • O. H. Ibarra, “Reversal-bounded multicounter machines and their decision pro- blems," J. ACM, 25 (1978) 116-133
    • (1978) J. ACM , vol.25 , pp. 116-133
    • Ibarra, O.H.1
  • 17
    • 84957642329 scopus 로고    scopus 로고
    • Pushdown processes: Games and model checking
    • I. Walukiewicz, “Pushdown processes: games and model checking," In CAV'96, LNCS 1102, pp. 62-74
    • In CAV'96, LNCS , pp. 62-74
    • Walukiewicz, I.1
  • 18
    • 84947736629 scopus 로고    scopus 로고
    • Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems
    • F. Wang, “Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems," In TACAS'00, to appear.
    • TACAS'00
    • Wang, F.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.