메뉴 건너뛰기




Volumn 1633, Issue , 1999, Pages 208-221

Assume-guarantee refinement between different time scales

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER AIDED ANALYSIS; DATA FLOW ANALYSIS; SPECIFICATIONS;

EID: 22644450348     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48683-6_20     Document Type: Conference Paper
Times cited : (16)

References (12)
  • 6
    • 84863971672 scopus 로고    scopus 로고
    • You assume, we guarantee: Methodology and case studies
    • Springer LNCS 1427, 209, 209, 210, 211, 216, 216, 216 [HQR98]
    • [HQR98]. T.A. Henzinger, S. Qadeer, and S.K. Rajamani. You assume, we guarantee: methodology and case studies. In CAV 98: Computer Aided Verification, Springer LNCS 1427, pp 440-451, 1998. 209, 209, 210, 211, 216, 216, 216
    • (1998) CAV 98: Computer Aided Verification , pp. 440-451
    • Henzinger, T.A.1    Qadeer, S.2    Rajamani, S.K.3
  • 8
    • 84947418436 scopus 로고    scopus 로고
    • A compositional rule for hardware design refinement
    • Springer LNCS 1254, 209, 211 [McM97]
    • [McM97]. K.L. McMillan. A compositional rule for hardware design refinement. In CAV 97: Computer-Aided Verification, Springer LNCS 1254, pp 24-35, 1997. 209, 211
    • (1997) CAV 97: Computer-Aided Verification , pp. 24-35
    • McMillan, K.L.1
  • 9
    • 84863924303 scopus 로고    scopus 로고
    • Verification of an implementation of Tomasulo's algorithm by compositional model checking
    • Springer LNCS 1427, 209, 211, 217, 217 [McM98]
    • [McM98]. K.L. McMillan. Verification of an implementation of Tomasulo's algorithm by compositional model checking. In CAV 98: Computer-Aided Verification, Springer LNCS 1427, pp 110-121, 1998. 209, 211, 217, 217
    • (1998) CAV 98: Computer-Aided Verification , pp. 110-121
    • McMillan, K.L.1
  • 10
    • 58749115623 scopus 로고    scopus 로고
    • An architecture for web-based image processing
    • 220 [SR97]
    • [SR97]. V.P. Srini and J.M. Rabaey. An architecture for web-based image processing. In Proc. SPIE Conference 3166, pp 90-101, 1997. 220
    • (1997) Proc. SPIE Conference 3166 , pp. 90-101
    • Srini, V.P.1    Rabaey, J.M.2


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