메뉴 건너뛰기




Volumn , Issue , 2007, Pages 37-44

Verifying correctness of transactional memories

Author keywords

HTM; Model checking; STM; TLA+; TLC; Transactional memory; Verification

Indexed keywords

MODEL CHECKERS; TRANSACTIONAL MEMORY (TM);

EID: 47349122939     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FAMCAD.2007.40     Document Type: Conference Paper
Times cited : (36)

References (15)
  • 4
    • 84874695049 scopus 로고    scopus 로고
    • Network invariants in action
    • 13th International Conference on Concurrency Theory CONCUR02, Springer-Verlag
    • Y. Kesten, A. Pnueli, E. Shahar, and L. D. Zuck, "Network invariants in action," in 13th International Conference on Concurrency Theory (CONCUR02), ser. Lect. Notes in Comp. Sci., vol. 2421. Springer-Verlag, 2002, pp. 101-115.
    • (2002) ser. Lect. Notes in Comp. Sci , vol.2421 , pp. 101-115
    • Kesten, Y.1    Pnueli, A.2    Shahar, E.3    Zuck, L.D.4
  • 5
    • 0026154452 scopus 로고
    • The existence of refinement mappings
    • May
    • M. Abadi and L. Lamport, "The existence of refinement mappings," Theoretical Computer Science, vol. 82, no. 2, pp. 253-284, May 1991.
    • (1991) Theoretical Computer Science , vol.82 , Issue.2 , pp. 253-284
    • Abadi, M.1    Lamport, L.2
  • 14
    • 84896694022 scopus 로고    scopus 로고
    • Control and data abstractions: The corner-stones of practical formal verification
    • Y. Kesten and A. Pnueli, "Control and data abstractions: The corner-stones of practical formal verification," Software Tools for Technology Transfer, vol. 4, no. 2, pp. 328-342, 2000.
    • (2000) Software Tools for Technology Transfer , vol.4 , Issue.2 , pp. 328-342
    • Kesten, Y.1    Pnueli, A.2


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