FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS

被引：0
|
作者：
JOYCE, JJ [1 ]
机构：
[1] UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE,ENGLAND
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1988年 / 24卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(88)90081-6
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：371 / 378
页数：8
相关论文
共 50 条
  • [31] A formal approach for the specification and verification of trustworthy component-based systems
    Mohammad, Mubarak
    Alagar, Vangalur
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
  • [32] FORMAL SPECIFICATION AND VERIFICATION OF MULTIMEDIA SYSTEMS IN OPEN DISTRIBUTED-PROCESSING
    BLAIR, L
    BLAIR, G
    BOWMAN, H
    CHETWYND, A
    [J]. COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 413 - 436
  • [33] Formal specification and verification of reusable communication models for distributed systems architecture
    Rouland, Quentin
    Hamid, Brahim
    Jaskolka, Jason
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 : 178 - 197
  • [34] Formal specification and verification of hardware designs
    Ramesh, S
    Rao, SSSP
    Sivakumar, G
    Bhaduri, P
    [J]. PHOTOMASK AND X-RAY MASK TECHNOLOGY V, 1998, 3412 : 261 - 268
  • [35] Formal specification and verification of a micropayment protocol
    Gouda, MG
    Liu, AX
    [J]. ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
  • [36] Formal Verification of ABAP by Z Specification
    Rodruksa, Soravit
    Pradubsuwun, Denduang
    [J]. PROCEEDINGS OF 2017 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2017,
  • [37] A formal specification and verification of normative multi-agent systems by DisCSP
    Boudhaouia, Aida
    Mazigh, Belhassen
    Missaoui, Ezzine
    [J]. 2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 399 - 406
  • [38] ON THE FORMAL SPECIFICATION AND VERIFICATION OF DIGITAL CIRCUITS
    DEGRAAF, PJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 537 - 544
  • [39] Formal Specification and Verification of Security Guidelines
    Zhioua, Zeineb
    Roudier, Yves
    Ameur, Rabea Boulifa
    [J]. 2017 IEEE 22ND PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2017), 2017, : 267 - 273
  • [40] FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION
    SUNSHINE, C
    [J]. COMPUTER, 1979, 12 (09) : 20 - 27
12345