메뉴 건너뛰기




Volumn 2041, Issue , 2001, Pages 6-24

A dynamic logic for the formal verification of java card programs

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; COMPUTER SOFTWARE; DIFFERENTIATION (CALCULUS); FORMAL VERIFICATION; SMART CARDS; SOFTWARE DESIGN;

EID: 84944238972     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45165-x_2     Document Type: Conference Paper
Times cited : (54)

References (15)
  • 7
    • 0000289556 scopus 로고    scopus 로고
    • Formal methods: State of the art and future directions
    • E. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626–643, 1996.
    • (1996) ACM Computing Surveys , vol.28 , Issue.4 , pp. 626-643
    • Clarke, E.1    Wing, J.M.2
  • 8
    • 0007750999 scopus 로고    scopus 로고
    • Acceptance of formal methods: Lessons from hardware design
    • Part of: Hossein Saiedian (ed.)., An Invitation to Formal Methods,. Pages 16–30
    • D. L. Dill and J. Rushby. Acceptance of formal methods: Lessons from hardware design. IEEE Computer, 29(4):23–24, 1996. Part of: Hossein Saiedian (ed.). An Invitation to Formal Methods. Pages 16–30.
    • (1996) IEEE Computer , vol.29 , Issue.4 , pp. 23-24
    • Dill, D.L.1    Rushby, J.2
  • 14
    • 0001110949 scopus 로고
    • Logic of programs
    • J. van Leeuwen, editor, volume B: Formal Models and Semantics, chapter 14, Elsevier, Amsterdam
    • D. Kozen and J. Tiuryn. Logic of programs. In J. van Leeuwen, editor, Handbook ofThe oretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 789–840. Elsevier, Amsterdam, 1990.
    • (1990) Handbook Ofthe Oretical Computer Science , pp. 789-840
    • Kozen, D.1    Tiuryn, J.2


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