The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs

被引：0

作者：

D. A. Kondratyev

A. V. Promsky

机构：

[1] Ershov Institute of Informatics Systems,

[2] Siberian Branch,undefined

[3] Russian Academy of Sciences,undefined

来源：

Automatic Control and Computer Sciences | 2020年 / 54卷

关键词：

deductive verification; semantic label; error localization; C-lightVer; ACL2; verification condition metagenerator; definite iteration; proof strategy;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：728 / 739

页数：11

共 50 条

[1] The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs
Kondratyev, D. A.
Promsky, A. V.
[J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2020, 54 (07) : 728 - 739
[2] Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
Kondratyev, D. A.
[J]. AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2022, 56 (07) : 669 - 687
[3] Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
D. A. Kondratyev
[J]. Automatic Control and Computer Sciences, 2022, 56 : 669 - 687
[4] PORTABILITY OF C-PROGRAMS AND UNIX SYSTEM
JOHNSON, SC
RITCHIE, DM
[J]. BELL SYSTEM TECHNICAL JOURNAL, 1978, 57 (06): : 2021 - 2048
[5] OVERLAY CLUSTERS FOR C-PROGRAMS
SUBIETA, K
ANACKI, K
MISSALA, M
[J]. COMPUTER JOURNAL, 1988, 31 (03): : 285 - 286
[6] EXCEPTION HANDLING IN C-PROGRAMS
LEE, PA
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (05): : 389 - 405
[7] A STYLE ANALYSIS OF C-PROGRAMS
BERRY, RE
MEEKINGS, BAE
[J]. COMMUNICATIONS OF THE ACM, 1985, 28 (01) : 80 - 88
[8] GARBAGE COLLECTION FOR C-PROGRAMS
CARLINI, G
RENDINA, S
[J]. DR DOBBS JOURNAL, 1992, 17 (11): : 46 - &
[9] DEBUGGING C-PROGRAMS WITH THE BLIT
CARGILL, TA
[J]. AT&T BELL LABORATORIES TECHNICAL JOURNAL, 1984, 63 (08): : 1633 - 1647
[10] A REVERSE ENGINEERING MODEL FOR C-PROGRAMS
HEISLER, K
KASHO, Y
TSAI, WT
[J]. INFORMATION SCIENCES, 1993, 68 (1-2) : 155 - 189

← 1 2 3 4 5 →