메뉴 건너뛰기




Volumn 1703, Issue , 1999, Pages 342-346

Circular compositional reasoning about liveness

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; MODEL CHECKING; RECONFIGURABLE HARDWARE;

EID: 84958640835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48153-2_30     Document Type: Conference Paper
Times cited : (67)

References (7)
  • 1
    • 84958682102 scopus 로고    scopus 로고
    • Feb
    • http://www-cad.eecs.berkeley.edu/˜kenmcmil/papers/1999-02.ps.gz, Feb. 1999.
    • (1999)
  • 5
    • 0004294401 scopus 로고
    • Research report 79, Digital Equipment Corporation, Systems Research Center, Dec
    • L. Lamport. The temporal logic of actions. Research report 79, Digital Equipment Corporation, Systems Research Center, Dec. 1991.
    • (1991) The Temporal Logic of Actions
    • Lamport, L.1
  • 7
    • 84863924303 scopus 로고    scopus 로고
    • Verification of an implementation of Tomasulo’s algorithm by compositional model checking
    • LNCS, Springer-Verlag
    • K. L. McMillan. Verification of an implementation of Tomasulo’s algorithm by compositional model checking. In CAV’98, number 1427 in LNCS, pages 100–21. Springer-Verlag, 1998.
    • (1998) CAV’98 , vol.1427 , pp. 100-121
    • McMillan, K.L.1


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