메뉴 건너뛰기




Volumn 42, Issue 6, 2007, Pages 320-330

Proving thread termination

Author keywords

Concurrency; Formal verification; Model checking; Program verification; Termination; Threads

Indexed keywords

FORMAL VERIFICATION;

EID: 67650033384     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1273442.1250771     Document Type: Article
Times cited : (18)

References (40)
  • 17
    • 0032678119 scopus 로고    scopus 로고
    • A semantic basis for the termination analysis of logic programs
    • M. Codish and C. Taboch. A semantic basis for the termination analysis of logic programs. The Journal of Logic Programming, 41(1):103-123, 1999.
    • (1999) The Journal of Logic Programming , vol.41 , Issue.1 , pp. 103-123
    • Codish, M.1    Taboch, C.2
  • 22
    • 33646004081 scopus 로고    scopus 로고
    • Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming
    • P. Cousot. Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming. In VMCAI'05: Verification, Model Checking, and Abstract Interpretation, 2005.
    • (2005) VMCAI'05: Verification, Model Checking, and Abstract Interpretation
    • Cousot, P.1
  • 26
    • 1442283580 scopus 로고    scopus 로고
    • Thread-modular model checking
    • C. Flanagan and S. Qadeer. Thread-modular model checking. In SPIN'03, 2003.
    • (2003) SPIN'03
    • Flanagan, C.1    Qadeer, S.2
  • 33
    • 0020929268 scopus 로고
    • Specification and design of (parallel) programs
    • C. Jones. Specification and design of (parallel) programs. In IFIP Congress, 1983.
    • (1983) IFIP Congress
    • Jones, C.1
  • 35
    • 0016592810 scopus 로고
    • Reduction: A method of proving properties of parallel programs
    • R. J. Lipton. Reduction: a method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, 1975.
    • (1975) Communications of the ACM , vol.18 , Issue.12 , pp. 717-721
    • Lipton, R.J.1
  • 36
    • 0015960562 scopus 로고
    • Axiomatic approach to total correctness of programs
    • Z. Manna and A. Pnueli. Axiomatic approach to total correctness of programs. Acta Informatica, 1974.
    • (1974) Acta Informatica
    • Manna, Z.1    Pnueli, A.2


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