메뉴 건너뛰기




Volumn 3855 LNCS, Issue , 2006, Pages 267-281

Ranking abstraction of recursive programs

Author keywords

[No Author keywords available]

Indexed keywords

FAIR DISCRETE SYSTEM (FDS); FINITARY STATE ABSTRACTION; PROCEDURAL PROGRAM; RECURSIVE PROGRAMS;

EID: 33745650096     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (13)
  • 2
    • 35048839796 scopus 로고    scopus 로고
    • A temporal logic of nested calls and returns
    • [AEM04]
    • [AEM04] R. Alur, K. Etessami, and P. Madhusudan. A temporal logic of nested calls and returns. In TACAS'04, pages 467-481.
    • TACAS'04 , pp. 467-481
    • Alur, R.1    Etessami, K.2    Madhusudan, P.3
  • 3
    • 24644501837 scopus 로고    scopus 로고
    • On-the-fly reachability and cycle detection for recursive state machines
    • [ACEM05]
    • [ACEM05] R. Alur, S. Chaudhuri, K. Etessami, and P. Madhusudan. On-the-fly reachability and cycle detection for recursive state machines. In TACAS'05, pages 61-765.
    • TACAS'05 , pp. 61-765
    • Alur, R.1    Chaudhuri, S.2    Etessami, K.3    Madhusudan, P.4
  • 4
    • 84958771695 scopus 로고    scopus 로고
    • Analysis of recursive state machines
    • [AEY01]
    • [AEY01] R. Alur, K. Etessami, and M. Yannakakis. Analysis of recursive state machines. In CAV'01, pages 207-220.
    • CAV'01 , pp. 207-220
    • Alur, R.1    Etessami, K.2    Yannakakis, M.3
  • 5
    • 24144470812 scopus 로고    scopus 로고
    • Shape analysis by predicate abstraction
    • [BPZ05]
    • [BPZ05] I. Balaban, A. Pnueli, and L.D. Zuck. Shape analysis by predicate abstraction. In VMCAI'05, pages 164-180.
    • VMCAI'05 , pp. 164-180
    • Balaban, I.1    Pnueli, A.2    Zuck, L.D.3
  • 6
    • 84947232436 scopus 로고    scopus 로고
    • Bebop: A symbolic model checker for boolean programs
    • [BR00]
    • [BR00] T. Ball and S.K. Rajamani. Bebop: A symbolic model checker for boolean programs. In SPIN'00, pages 113-130.
    • SPIN'00 , pp. 113-130
    • Ball, T.1    Rajamani, S.K.2
  • 7
    • 84947441305 scopus 로고    scopus 로고
    • Construction of abstract state graphs with PVS
    • [GS97]
    • [GS97] S. Graf and H. Saïdi. Construction of abstract state graphs with PVS. In CAV'97, pages 72-83.
    • CAV'97 , pp. 72-83
    • Graf, S.1    Saïdi, H.2
  • 8
    • 0034716050 scopus 로고    scopus 로고
    • Verification by augmented finitary abstraction
    • [KP00]
    • [KP00] Y. Kesten and A. Pnueli. Verification by augmented finitary abstraction. Information and Computation, 163(1):203-243, 2000.
    • (2000) Information and Computation , vol.163 , Issue.1 , pp. 203-243
    • Kesten, Y.1    Pnueli, A.2
  • 9
    • 33745529429 scopus 로고    scopus 로고
    • Algorithmic verification of linear temporal logic specifications
    • [KPR98]
    • [KPR98] Y. Kesten, A. Pnueli, and L. Raviv. Algorithmic verification of linear temporal logic specifications, In CAV'98, pages 1-16.
    • CAV'98 , pp. 1-16
    • Kesten, Y.1    Pnueli, A.2    Raviv, L.3
  • 10
    • 24644491458 scopus 로고    scopus 로고
    • Summaries for while programs with recursion
    • [PSW05]
    • [PSW05] A. Podelski, I. Schaefer, and S. Wagner. Summaries for while programs with recursion. In ESOP'05, pages 94-107.
    • ESOP'05 , pp. 94-107
    • Podelski, A.1    Schaefer, I.2    Wagner, S.3
  • 11
    • 24644522982 scopus 로고    scopus 로고
    • Context-bounded model checking of concurrent software
    • [RQ05]
    • [RQ05] J. Rehof and S. Qadeer, Context-bounded model checking of concurrent software. In TACAS'05, pages 93-107.
    • TACAS'05 , pp. 93-107
    • Rehof, J.1    Qadeer, S.2
  • 12
    • 84858913797 scopus 로고    scopus 로고
    • [Sha00]
    • [Sha00] E. Shahar. The TLVManual, 2000. http://www.cs.nyu.edu/acsys/tlv.
    • (2000) The TLVManual
    • Shahar, E.1
  • 13
    • 0002823436 scopus 로고
    • Two approaches to inter-procedural data-flow analysis
    • [SP81]. Jones and Muchnik, editors, Prentice-Hall
    • [SP81] M. Sharir and A. Pnueli. Two approaches to inter-procedural data-flow analysis. In Jones and Muchnik, editors, Program Flow Analysis: Theory and Applications. Prentice-Hall, 1981.
    • (1981) Program Flow Analysis: Theory and Applications
    • Sharir, M.1    Pnueli, A.2


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