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 条
  • [21] PSL model checking and run-time verification via testers
    Pnueli, A.
    Zaks, A.
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 573 - 586
  • [22] Run-time Verification of Behavioural Conformance for Conversational Web Services
    Dranidis, Dimitris
    Ramollari, Ervin
    Kourtesis, Dimitrios
    [J]. ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2009, : 139 - +
  • [23] Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
    Sammapun, Usa
    Easwaran, Arvind
    Lee, Insup
    Sokolsky, Oleg
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 113 : 123 - 143
  • [24] Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
    Mera, Edison
    Lopez-Garcia, Pedro
    Hermenegildo, Manuel
    [J]. LOGIC PROGRAMMING, 2009, 5649 : 281 - +
  • [25] Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
    Majzik, Istvan
    Horanyi, Gergo
    [J]. 12TH SYMPOSIUM ON PROGRAMMING LANGUAGES AND SOFTWARE TOOLS, SPLST' 11, 2011, : 161 - 172
  • [26] MESSAGE FLOW-ANALYSIS AND RUN-TIME VERIFICATION FOR PARALLEL PROGRAMS
    YANG, SS
    JUANG, JY
    [J]. PROCEEDINGS OF THE 1989 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, VOL 2: SOFTWARE, 1989, : 19 - 22
  • [27] PublicCheck: Public Integrity Verification for Services of Run-time Deep Models
    Wang, Shuo
    Abuadbba, Sharif
    Agarwal, Sidharth
    Moore, Kristen
    Sun, Ruoxi
    Xue, Minhui
    Nepal, Surya
    Camtepe, Seyit
    Kanhere, Salil
    [J]. 2023 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, 2023, : 1348 - 1365
  • [28] Stochastic Verification of Run-time Performance Adaptation with Field Delay Testing
    Hashimoto, Masanori
    [J]. 2014 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS), 2014, : 751 - 754
  • [29] LAOCOON: A Run-time Monitoring and Verification Approach for Hardware Trojan Detection
    Danger, Jean-Luc
    Fribourg, Laurent
    Naceur, Maha
    Kuhne, Ulrich
    [J]. 2019 22ND EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2019, : 269 - 276
  • [30] Component-based approach to run-time kernel specification and verification
    Naeser, G
    Lundqvist, K
    [J]. 17TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2005, : 68 - 76
12345