Run-time verification of networked software

被引：0
|
作者：
Research Center for Information Security , National Institute of Advanced Industrial Science and Technology , Tokyo, Japan [1 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 59-73期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Verification
引用
收藏
相关论文
共 50 条
  • [1] Run-Time Verification of Networked Software
    Artho, Cyrille Valentin
    RUNTIME VERIFICATION, 2010, 6418 : 59 - 73
  • [2] On the run-time verification of autonomy software
    Tiwari, A
    Sinha, P
    Ramachandran, U
    28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 58 - 65
  • [3] Run-time verification
    Colin, S
    Mariani, L
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [4] AMOEBA-RT: Run-time verification of adaptive software
    Goldsby, Heather J.
    Cheng, Betty H. C.
    Zhang, Ji
    MODELS IN SOFTWARE ENGINEERING, 2008, 5002 : 212 - 224
  • [5] Run-Time Verification of Coboxes
    de Boer, Frank S.
    de Gouw, Stijn
    Wong, Peter Y. H.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
  • [6] Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
    Mera, Edison
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel
    LOGIC PROGRAMMING, 2009, 5649 : 281 - +
  • [7] Run-Time Verification of Optimistic Concurrency
    Sezgin, Ali
    Tasiran, Serdar
    Muslu, Kivanc
    Qadeer, Shaz
    RUNTIME VERIFICATION, 2010, 6418 : 384 - +
  • [8] Test of the Run-time Infrastructure Software
    Tang, Jianbing
    Hu, Qigao
    Zha, Yabing
    PROGRESS IN MECHATRONICS AND INFORMATION TECHNOLOGY, PTS 1 AND 2, 2014, 462-463 : 1140 - +
  • [9] Run-time requirements verification for reconfigurable systems
    Chatzikonstantinou, George
    Kontogiannis, Kostas
    INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 105 - 121
  • [10] Astree: Verification of absence of run-time error
    Mauborgne, L
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 385 - 392
12345