메뉴 건너뛰기




Volumn 2031 LNCS, Issue , 2001, Pages 113-127

A technique for invariant generation

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY;

EID: 84903166484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_9     Document Type: Conference Paper
Times cited : (52)

References (17)
  • 4
    • 84957363964 scopus 로고    scopus 로고
    • Powerful techniques for the automatic generation of invariants
    • R. Alur and T. A. Henzinger, editors, Springer-Verlag
    • S. Bensalem, Y. Lakhnech, and H. Saïdi. Powerful techniques for the automatic generation of invariants. In R. Alur and T. A. Henzinger, editors, Computer-Aided Verification, CAV 796, number 1102 in LNCS, pages 323-335. Springer-Verlag, 1996.
    • (1996) Computer-Aided Verification, CAV 796, Number 1102 in LNCS , pp. 323-335
    • Bensalem, S.1    Lakhnech, Y.2    Saïdi, H.3
  • 8
    • 85050550846 scopus 로고
    • Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fìxpoints
    • January
    • P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fìxpoints. In 4th POPL, January 1977.
    • (1977) 4th POPL
    • Cousot, P.1    Cousot, R.2
  • 12
    • 0016941016 scopus 로고
    • Logical analysis of programs
    • April
    • S. Katz and Z. Manna. Logical analysis of programs. Communications of the ACM, 19(4): 188-206, April 1976.
    • (1976) Communications of the ACM , vol.19 , Issue.4 , pp. 188-206
    • Katz, S.1    Manna, Z.2
  • 13
    • 0019025562 scopus 로고
    • The 'hoare logic' of concurrent programs
    • L. Lamport. The 'Hoare logic' of concurrent programs. In Act a Informatica 14, pages 21-37, 1980.
    • (1980) Act A Informatica , vol.14 , pp. 21-37
    • Lamport, L.1
  • 16
    • 0017173886 scopus 로고
    • An axiomatic proof technique for parallel programs
    • S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Act a Informatica, 6:319-340, 1976.
    • (1976) Act A Informatica , vol.6 , pp. 319-340
    • Owicki, S.1    Gries, D.2


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