메뉴 건너뛰기




Volumn 3639, Issue , 2005, Pages 282-287

Learning-based assume-guarantee verification (tool paper)

Author keywords

[No Author keywords available]

Indexed keywords

VERIFICATION TOOLS;

EID: 26944432307     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11537328_24     Document Type: Conference Paper
Times cited : (12)

References (12)
  • 1
    • 0023453626 scopus 로고
    • Learning regular sets from queries and counterexamples
    • Nov.
    • D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 75(2):87-106, Nov. 1987.
    • (1987) Information and Computation , vol.75 , Issue.2 , pp. 87-106
    • Angluin, D.1
  • 3
    • 85164978195 scopus 로고    scopus 로고
    • Abstraction and assume-guarantee reasoning for automated software verification
    • October
    • S. Chaki, E. Clarke, D. Giannakopoulou, and C. Pǎsǎreanu. Abstraction and assume-guarantee reasoning for automated software verification. RIACS TR 05.02, October 2004.
    • (2004) RIACS TR 05.02
    • Chaki, S.1    Clarke, E.2    Giannakopoulou, D.3    Pǎsǎreanu, C.4
  • 4
    • 3042666526 scopus 로고    scopus 로고
    • Modular verification of software components in C
    • June
    • S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith. Modular verification of software components in C. IEEE TSE, 30(6):388-402, June 2004.
    • (2004) IEEE TSE , vol.30 , Issue.6 , pp. 388-402
    • Chaki, S.1    Clarke, E.2    Groce, A.3    Jha, S.4    Veith, H.5
  • 9
    • 84976735431 scopus 로고
    • Tentative steps toward a development method for interfering programs
    • Oct.
    • C. B. Jones. Tentative steps toward a development method for interfering programs. ACM Trans. on Prog. Lang, and Sys., 5(4):596-619, Oct. 1983.
    • (1983) ACM Trans. on Prog. Lang, and Sys. , vol.5 , Issue.4 , pp. 596-619
    • Jones, C.B.1
  • 11
    • 0038357007 scopus 로고
    • In transition from global to modular temporal reasoning about programs
    • A. Pnueli. In transition from global to modular temporal reasoning about programs. In Logics and models of concurrent systems, pages 123-144, 1985.
    • (1985) Logics and Models of Concurrent Systems , pp. 123-144
    • Pnueli, A.1


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