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 条
  • [1] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. INTEGRATION-THE VLSI JOURNAL, 1989, 7 (03) : 247 - 266
  • [2] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    [J]. INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [3] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [4] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    [J]. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
  • [5] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [6] FORMAL VERIFICATION OF A PIPELINED MICROPROCESSOR
    SRIVAS, M
    BICKFORD, M
    [J]. IEEE SOFTWARE, 1990, 7 (05) : 52 - 64
  • [7] Formal verification of a microprocessor control
    Ivanov, L
    [J]. PROCEEDINGS OF THE 44TH IEEE 2001 MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 2001, : 646 - 650
  • [8] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [9] A Summary of Formal Specification and Verification of Autonomous Robotic Systems
    Luckcuck, Matt
    Farrell, Marie
    Dennis, Louise A.
    Dixon, Clare
    Fisher, Michael
    [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 538 - 541
  • [10] Formal Specification and Verification of Autonomous Robotic Systems: A Survey
    Luckcuck, Matt
    Farrell, Marie
    Dennis, Louise A.
    Dixon, Clare
    Fisher, Michael
    [J]. ACM COMPUTING SURVEYS, 2019, 52 (05)
12345