Automatic proof of the absence of run-time errors

被引：0
|
作者：
Garnsworthy, Jon
O'Neill, Ian
Carre, Bernard
机构：
来源：
Studies in Computer and Communications Systems | 1993年 / 6卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [21] Conversation errors in web service coordination: Run-time detection and repair
    Blanchet, W
    Elio, R
    Stroulia, E
    2005 IEEE/WIC/ACM International Conference on Web Intelligence, Proceedings, 2005, : 442 - 449
  • [22] Run-time correction
    Grubb, WA
    OIL & GAS JOURNAL, 2004, 102 (13) : 10 - 10
  • [23] RUN-TIME DEBUGGERS
    NELSON, T
    DR DOBBS JOURNAL, 1993, 18 (12): : 36 - 36
  • [24] Run-time verification
    Colin, S
    Mariani, L
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [25] Run-time model based framework for automatic evaluation of multimodal interfaces
    Mateo Navarro, Pedro Luis
    Hillmann, Stefan
    Moeller, Sebastian
    Sevilla Ruiz, Diego
    Martinez Perez, Gregorio
    JOURNAL ON MULTIMODAL USER INTERFACES, 2014, 8 (04) : 399 - 427
  • [26] Run-time model based framework for automatic evaluation of multimodal interfaces
    Pedro Luis Mateo Navarro
    Stefan Hillmann
    Sebastian Möller
    Diego Sevilla Ruiz
    Gregorio Martínez Pérez
    Journal on Multimodal User Interfaces, 2014, 8 : 399 - 427
  • [27] PowerProbe: Run-time Power Modeling Through Automatic RTL Instrumentation
    Zoni, Davide
    Cremona, Luca
    Fornaciari, William
    PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2018, : 743 - 748
  • [28] Automatic unit test generator software by collecting run-time data
    Genc, Sevdanur
    SIGMA JOURNAL OF ENGINEERING AND NATURAL SCIENCES-SIGMA MUHENDISLIK VE FEN BILIMLERI DERGISI, 2024, 42 (04): : 988 - 1008
  • [29] Run-time automatic instantiation of algorithms using C++ templates
    Quintino, T.
    Deconinck, H.
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2009, 4 (04) : 314 - 324
  • [30] Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
    Mine, Antoine
    PROGRAMMING LANGUAGES AND SYSTEMS, 2011, 6602 : 398 - 418
12345