메뉴 건너뛰기




Volumn 19, Issue 4, 2008, Pages 983-998

An alternative construction in symbolic reachability analysis of second order pushdown systems

Author keywords

Higher order pushdown automata; Reachability; Symbolic model checking; Verification

Indexed keywords


EID: 49449087917     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S012905410800608X     Document Type: Article
Times cited : (4)

References (7)
  • 1
    • 84944409047 scopus 로고    scopus 로고
    • Reachability analysis of pushdown automata: Applications to model checking
    • A. Bouajjani, J. Esparza and O. Maler, "Reachability analysis of pushdown automata: Applications to model checking," Proc. Concur, 1997, pp. 135-150.
    • (1997) Proc. Concur , pp. 135-150
    • Bouajjani, A.1    Esparza, J.2    Maler, O.3
  • 2
    • 26844563300 scopus 로고    scopus 로고
    • Symbolic reachability analysis of higher-order contextfree processes
    • Proc. FSTTCS
    • A. Bouajjani and A. Meyer, "Symbolic reachability analysis of higher-order contextfree processes," Proc. FSTTCS, 2004, LNCS 3328, pp. 135-147.
    • (2004) LNCS , vol.3328 , pp. 135-147
    • Bouajjani, A.1    Meyer, A.2
  • 3
    • 37149014224 scopus 로고    scopus 로고
    • Symbolic backwards-reachability analysis for higher-order pushdown systems
    • M. Hague and L. Ong, "Symbolic backwards-reachability analysis for higher-order pushdown systems," Proc. FoSSaCS, 2007, pp. 213-227.
    • (2007) Proc. FoSSaCS , pp. 213-227
    • Hague, M.1    Ong, L.2
  • 4
    • 49449091129 scopus 로고    scopus 로고
    • Global Model Checking of Higher-Order Pushdown Systems,
    • PhD Thesis, Submitted, Oxford University, May
    • M. Hague, "Global Model Checking of Higher-Order Pushdown Systems," PhD Thesis, Submitted, Oxford University, May 2008.
    • (2008)
    • Hague, M.1
  • 5
    • 49449114378 scopus 로고    scopus 로고
    • Proc. Satellite workshops of DLT 2007
    • TUCS publication 45
    • A. Seth, "An alternative construction in symbolic reachability analysis of second order pushdown automata," Proc. Satellite workshops of DLT 2007, TUCS publication (45), 2007, pp. 80-95.
    • (2007) , pp. 80-95
    • Seth, A.1
  • 6
    • 49449108070 scopus 로고    scopus 로고
    • Symbolic strategy synthesis for games on pushdown graphs
    • T. Cachat, "Symbolic strategy synthesis for games on pushdown graphs," Proc. ICALP, 2003, pp. 315-333.
    • (2003) Proc. ICALP , pp. 315-333
    • Cachat, T.1
  • 7
    • 84879074587 scopus 로고    scopus 로고
    • Alternating automata and logics over infinite words
    • Proc. IFIP TCS'00
    • C. Loding and W. Thomas, "Alternating automata and logics over infinite words," Proc. IFIP TCS'00, 2000, LNCS 1872, pp. 521-535.
    • (2000) LNCS , vol.1872 , pp. 521-535
    • Loding, C.1    Thomas, W.2


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