Improving simulation-based verification by means of formal methods

被引：0
|
作者：
机构：
[1] Fey, Görschwin
[2] Drechsler, Rolf
来源：
Fey, G. (fey@informatik.uni-bremen.de) | / IEEE Circuits and Systems Society; ACM SIGDA; IEICE; Information Processing of Japan; et al卷 / Institute of Electrical and Electronics Engineers Inc.期
关键词：
621 Nuclear Reactors - 723.5 Computer Applications - 731.1 Control Systems - 921 Mathematics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Verification of Communication Protocols Based on Formal Methods Integration
    Simonak, Slavomir
    ACTA POLYTECHNICA HUNGARICA, 2012, 9 (04) : 117 - 128
  • [42] Verification of Interdomain Routing System Based on Formal Methods
    臧志远
    罗贵明
    殷翀元
    TsinghuaScienceandTechnology, 2009, 14 (01) : 83 - 89
  • [43] Verification of Interdomain Routing System Based on Formal Methods
    Zang, Zhiyuan
    Luo, Guiming
    Yin, Chongyuan
    Tsinghua Science and Technology, 2009, 14 (01) : 83 - 89
  • [44] Simulation-based value stream mapping: The formal modeling procedure
    Lian, YH
    Van Landeghem, H
    ECEC 2005: 12TH EUROPEAN CONCURRENT ENGINEERING CONFERENCE 2005, 2005, : 79 - 84
  • [45] On bridging simulation and formal verification
    Goldberg, Eugene
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 127 - 141
  • [46] Formal verification: A replacement for simulation?
    Corman, T
    ELECTRONIC DESIGN, 1995, 43 (26) : 48 - 48
  • [47] Scalable Simulation-based Verification of SystemC-based Virtual Prototypes
    Goli, Mehran
    Drechsler, Rolf
    2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 522 - 529
  • [48] Methods for scaling simulation-based teamwork training
    Delisle, Megan
    Pradarelli, Jason C.
    Panda, Nikhil
    Haynes, Alex B.
    Hannenberg, Alexander A.
    BMJ QUALITY & SAFETY, 2020, 29 (02) : 98 - 102
  • [49] Simulation-based inference in econometrics: Methods and applications
    van Soest, A
    ECONOMIST-NETHERLANDS, 2002, 150 (01): : 123 - 125
  • [50] Simulation-based Design of Transfer Support Robot and Experimental Verification
    Imamura, Yumeko
    Endo, Yui
    Yoshida, Eiichi
    2019 2ND IEEE INTERNATIONAL CONFERENCE ON SOFT ROBOTICS (ROBOSOFT 2019), 2019, : 754 - 761
12345