메뉴 건너뛰기




Volumn 3855 LNCS, Issue , 2006, Pages 332-347

Strong preservation of temporal fixpoint-based operators by abstract interpretation

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; CODES (STANDARDS); COMPUTER AIDED ANALYSIS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; MATHEMATICAL MODELS;

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

References (19)
  • 4
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of lixpoints
    • th ACM POPL, 238-252, 1977.
    • (1977) th ACM POPL , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 6
  • 9
    • 0002685620 scopus 로고    scopus 로고
    • Flat fragments of CTL and CTL*: Separating the expressive and distinguishing powers
    • D. Dams. Flat fragments of CTL and CTL*: separating the expressive and distinguishing powers. Logic J. of the IGPL, 7(1):55-78, 1999.
    • (1999) Logic J. of the IGPL , vol.7 , Issue.1 , pp. 55-78
    • Dams, D.1
  • 11
    • 84890021811 scopus 로고    scopus 로고
    • Incompleteness, counterexamples and refinements in abstract model checking
    • LNCS 2126
    • th SAS, LNCS 2126, pp. 356-373, 2001.
    • (2001) th SAS , pp. 356-373
    • Giacobazzi, R.1    Quintarelli, E.2
  • 12
    • 0000651947 scopus 로고    scopus 로고
    • Making abstract interpretations complete
    • R. Giacobazzi, F. Ranzato and F. Scozzari. Making abstract interpretations complete. J. ACM, 47(2):361-416, 2000.
    • (2000) J. ACM , vol.47 , Issue.2 , pp. 361-416
    • Giacobazzi, R.1    Ranzato, F.2    Scozzari, F.3
  • 13
  • 16
    • 84958765102 scopus 로고    scopus 로고
    • Semantics for abstract interpretation-based static analyzes of temporal properties
    • LNCS 2477
    • th SAS, LNCS 2477, pp. 428-443, 2002.
    • (2002) th SAS , pp. 428-443
    • Massé, D.1
  • 17
    • 35048869628 scopus 로고    scopus 로고
    • Strong preservation as completeness in abstract interpretation
    • LNCS 2986
    • th ESOP, LNCS 2986, pp. 18-32, 2004.
    • (2004) th ESOP , pp. 18-32
    • Ranzato, F.1    Tapparo, F.2
  • 18
    • 24644510411 scopus 로고    scopus 로고
    • An abstract interpretation-based refinement algorithm for strong preservation
    • LNCS 3440
    • th TACAS, LNCS 3440, pp. 140-156, 2005.
    • (2005) th TACAS , pp. 140-156
    • Ranzato, F.1    Tapparo, F.2
  • 19
    • 35048852086 scopus 로고    scopus 로고
    • Closed and logical relations for over- And under-approximation of powersets
    • LNCS 3148
    • th SAS, LNCS 3148, pp. 22-37, 2004.
    • (2004) th SAS , pp. 22-37
    • Schmidt, D.A.1


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