Astree: Verification of absence of run-time error

被引：0
|
作者：
Mauborgne, L [1 ]
机构：
[1] Ecole Normale Super, F-75231 Paris, France
来源：
BUILDING THE INFORMATION SOCIETY | 2004年 / 156卷
关键词：
static analysis; abstract interpretation; verification; critical software;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：385 / 392
页数：8
相关论文
共 50 条
  • [1] Run-time verification
    Colin, S
    Mariani, L
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 525 - 555
  • [2] 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
  • [3] Run-Time Verification of Networked Software
    Artho, Cyrille Valentin
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 59 - 73
  • [4] Run-Time Verification of Optimistic Concurrency
    Sezgin, Ali
    Tasiran, Serdar
    Muslu, Kivanc
    Qadeer, Shaz
    [J]. RUNTIME VERIFICATION, 2010, 6418 : 384 - +
  • [5] 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
  • [6] The Importance of Run-Time Error Detection
    Luecke, Glenn R.
    Coyle, James
    Hoekstra, James
    Kraeva, Marina
    Xu, Ying
    Park, Mi-Young
    Kleiman, Elizabeth
    Weiss, Olga
    Wehe, Andre
    Yahya, Melissa
    [J]. TOOLS FOR HIGH PERFORMANCE COMPUTING 2009, 2010, : 145 - 155
  • [7] Run-time requirements verification for reconfigurable systems
    Chatzikonstantinou, George
    Kontogiannis, Kostas
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 105 - 121
  • [8] RUN-TIME ERROR CHECKING COMES TO COMPILERS
    APIKI, S
    [J]. BYTE, 1995, 20 (10): : 34 - 34
  • [9] 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
  • [10] Opportunities and Verification Challenges of Run-time Performance Adaptation
    Hashimoto, Masanori
    [J]. 2014 IEEE 23RD ASIAN TEST SYMPOSIUM (ATS), 2014, : 248 - 253
12345