Concurrent checking of clock signal correctness

被引：0
|
作者：
Univ of Bologna, Bologna, Italy [1 ]
机构：
来源：
IEEE Design and Test of Computers | 1998年 / 15卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：42 / 48
相关论文
共 50 条
  • [41] Correctness Verification of Mutual Exclusion Algorithms by Model Checking
    Nigro, Libero
    Cicirelli, Franco
    MODELLING, 2024, 5 (03): : 694 - 719
  • [42] Correctness Analysis based on Testing and Checking for OpenMP Programs
    Li, Jianjiang
    Hei, Dan
    Yan, Lin
    FOURTH CHINAGRID ANNUAL CONFERENCE, PROCEEDINGS, 2009, : 210 - 215
  • [43] Correctness of efficient real-time model checking
    Reif, W
    Schellhorn, G
    Vollmer, T
    Ruf, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (02) : 194 - 209
  • [44] VERIFYING THE CORRECTNESS OF AADL MODULES USING MODEL CHECKING
    JOSKO, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 386 - 400
  • [45] Correctness checking for BPMN collaborations with sub-processes
    Corradini, Flavio
    Morichetta, Andrea
    Polini, Andrea
    Re, Barbara
    Rossi, Lorenzo
    Tiezzi, Francesco
    JOURNAL OF SYSTEMS AND SOFTWARE, 2020, 166
  • [46] Using program checking to ensure the correctness of compiler implementations
    Glesner, S
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (03) : 191 - 222
  • [47] A Correctness Checking Approach for Collaborative Business Processes in the Cloud
    Mo, Qi
    Wang, Yuqi
    Xiang, Jixiang
    Li, Tong
    COMPLEXITY, 2020, 2020
  • [48] Checking correctness of business processes specification in action logic
    Kedzierski, S
    BIS 2000, 2000, : 297 - 305
  • [49] CONCURRENT CHECKING IN DEDICATED CONTROLLERS
    LEVEUGLE, R
    SAUCIER, G
    PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 124 - 127
  • [50] Concurrent Library Correctness on the TSO Memory Model
    Burckhardt, Sebastian
    Gotsman, Alexey
    Musuvathi, Madanlal
    Yang, Hongseok
    PROGRAMMING LANGUAGES AND SYSTEMS, 2012, 7211 : 87 - 107
12345