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 条
  • [41] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [42] Formal Specification and Verification of wireless networked self-organized Systems on Chip
    Daoud, Hayat
    Tanougast, Camel
    Belarbi, Mostefa
    Heil, Mikael
    [J]. 2014 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2014, : 730 - 735
  • [43] TOP-DOWN FORMAL SPECIFICATION AND VERIFICATION OF PARALLEL CONTROL-SYSTEMS
    VALETTE, R
    DIAZ, M
    [J]. DIGITAL PROCESSES, 1978, 4 (3-4): : 181 - 199
  • [44] Formal specification and verification method of concurrent and distributed systems by restricted timed automata
    Yamane, S
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 169 - 183
  • [45] A formal technique for the specification and verification of distributed systems and its application in manufacturing automation
    Fialho, SV
    Leao, JLS
    Pedroza, ACP
    [J]. 38TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1996, : 27 - 30
  • [46] Formal Specification and Verification of User-centric Privacy Policies for Ubiquitous Systems
    Joshaghani, Rezvan
    Black, Stacy
    Sherman, Elena
    Mehrpouyan, Hoda
    [J]. IDEAS '19: PROCEEDINGS OF THE 23RD INTERNATIONAL DATABASE APPLICATIONS & ENGINEERING SYMPOSIUM (IDEAS 2019), 2019, : 252 - 261
  • [47] A Survey of Smart Contract Formal Specification and Verification
    Tolmach, Palina
    Li, Yi
    Lin, Shang-Wei
    Liu, Yang
    Li, Zengxiang
    [J]. ACM COMPUTING SURVEYS, 2021, 54 (07)
  • [48] FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS
    YAMANO, K
    JOKANOVIC, D
    ANDO, T
    OHTA, M
    TAKAHASHI, K
    [J]. IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (08) : 715 - 722
  • [49] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    [J]. COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [50] Formal Specification and Verification of Dynamic Parametrized Architectures
    Cimatti, Alessandro
    Stojic, Ivan
    Tonetta, Stefano
    [J]. FORMAL METHODS, 2018, 10951 : 625 - 644
12345