메뉴 건너뛰기




Volumn 1579, Issue , 1999, Pages 74-88

Fighting livelock in the i-protocol: A comparative study of verification tools

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; OPEN SOURCE SOFTWARE;

EID: 84948982875     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49059-0_6     Document Type: Conference Paper
Times cited : (21)

References (18)
  • 7
    • 0000706110 scopus 로고    scopus 로고
    • Evaluating deadlock detection methods for concurrent software
    • March Cor96
    • Cor96. J. C. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3): 161-180, March 1996.
    • (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.3 , pp. 161-180
    • Corbett, J.C.1
  • 8
    • 0000289556 scopus 로고    scopus 로고
    • Formal methods: State of the art and future directions
    • 4es, December CW96
    • CW96. E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4es), December 1996.
    • (1996) ACM Computing Surveys , vol.28
    • Clarke, E.M.1    Wing, J.M.2
  • 9
    • 84949000800 scopus 로고    scopus 로고
    • Alur and Henzinger [AH96],. Dil96
    • Dil96. D. L. Dill. The Mur-verification system. In Alur and Henzinger [AH96], pages 390-393.
    • The Mur-verification system , pp. 390-393
    • Dill, D.L.1
  • 10
  • 17
    • 85051051500 scopus 로고
    • Expressing interesting properties of programs in propositional temporal logic
    • St. Petersburgh, January Wol86
    • Wol86. P. Wolper. Expressing interesting properties of programs in propositional temporal logic. In Proc. 13th ACM Symp. on Principles of Programming Languages, pages 184-192, St. Petersburgh, January 1986.
    • (1986) Proc. 13th ACM Symp. on Principles of Programming Languages , pp. 184-192
    • Wolper, P.1
  • 18
    • 84948962132 scopus 로고    scopus 로고
    • Available by anony-mous ftp from XSB97.XSB
    • XSB97. XSB. The XSB logic programming system v1. 7, 1997. Available by anony-mous ftp from ftp. cs. sunysb. edu.
    • (1997) The XSB logic programming system v1. 7


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