Run-time verification

被引：0
|
作者：
Colin, S [1 ]
Mariani, L
机构：
[1] Univ Franche Comte, CNRS, INRIA, LIFC, F-25030 Besancon, France
[2] Univ Milano Bicocca, Dipartimento Informat Sistemist & Commun, Milan, Italy
来源：
MODEL-BASED TESTING OF REACTIVE SYSTEMS | 2005年 / 3472卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：525 / 555
页数：31
相关论文
共 50 条
  • [1] Run-Time Verification of Coboxes
    de Boer, Frank S.
    de Gouw, Stijn
    Wong, Peter Y. H.
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 259 - 273
  • [2] Run-Time Verification of Networked Software
    Artho, Cyrille Valentin
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 59 - 73
  • [3] Run-Time Verification of Optimistic Concurrency
    Sezgin, Ali
    Tasiran, Serdar
    Muslu, Kivanc
    Qadeer, Shaz
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 384 - +
  • [4] On the run-time verification of autonomy software
    Tiwari, A
    Sinha, P
    Ramachandran, U
    [J]. 28TH ANNUAL NASA GODDARD SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2004, : 58 - 65
  • [5] Run-time requirements verification for reconfigurable systems
    Chatzikonstantinou, George
    Kontogiannis, Kostas
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 105 - 121
  • [6] Astree: Verification of absence of run-time error
    Mauborgne, L
    [J]. BUILDING THE INFORMATION SOCIETY, 2004, 156 : 385 - 392
  • [7] An Ontology for run-time Verification of Security Certificates for SOA
    D'Agostini, Stefania
    Di Giacomo, Valentina
    Pandolfo, Claudia
    Presenza, Domenico
    [J]. 2012 SEVENTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES), 2012, : 525 - 533
  • [8] Opportunities and Verification Challenges of Run-time Performance Adaptation
    Hashimoto, Masanori
    [J]. 2014 IEEE 23RD ASIAN TEST SYMPOSIUM (ATS), 2014, : 248 - 253
  • [9] Analysis and run-time verification of dynamic security policies
    Janicke, Helge
    Siewe, Frangois
    Jones, Kevin
    Cau, Antonio
    Zedan, Hussein
    [J]. DEFENCE APPLICATIONS OF MULTI-AGENT SYSTEMS, 2006, 3890 : 92 - 103
  • [10] Formal Verification of A Domain Specific Language for Run-time Adaptation
    Khan, Shahid
    Khalid, Faiq
    Hasan, Osman
    Cardoso, Joao M. P.
    [J]. 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 7 - 14
12345