Model checking: Verification or debugging?

被引：0

作者：

Ruys, TC ^{[1
]}

Brinksma, E ^{[1
]}

机构：

[1] Univ Twente, Fac Comp Sci, NL-7500 AE Enschede, Netherlands

来源：

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V | 2000年

关键词：

model checking; verification; debugging;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to End errors in the model. This paper discusses the differences between the two complementing approaches and shows for each approach its advantages and disadvantages.

引用

页码：3009 / 3015

页数：7

共 50 条

[31] Verification of a DSP IP cores by model checking
Nguyen, HN
Koumou, P
Candaele, B
Sarlotte, M
Antoine, C
Emeriau, S
SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 121 - 124
[32] Applying model checking in Java']Java verification
Havelund, K
Skakkebæk, JU
THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 216 - 231
[33] Verification of CTLBDI Properties by Symbolic Model Checking
Chen, Ran
Zhang, Wenhui
2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 102 - 109
[34] Verification of Process Operations using Model Checking
Voronov, Alexey
Akesson, Knut
2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 415 - 420
[35] On Verification of Smart Contracts via Model Checking
Bao, Yulong
Zhu, Xue-Yang
Zhang, Wenhui
Shen, Wuwei
Sun, Pengfei
Zhao, Yingqi
THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 92 - 112
[36] From Model Checking to Runtime Verification and Back
Kejstova, Katarina
Rockai, Petr
Barnat, Jiri
RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 225 - 240
[37] Model checking, testing and verification working together
Gunter, E
Peled, D
FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 201 - 221
[38] Model Checking Automated Verification of Computational Systems
Mukund, Madhavan
RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2009, 14 (07): : 667 - 681
[39] TEST-CASE VERIFICATION BY MODEL CHECKING
NAIK, K
SARIKAYA, B
FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (03) : 277 - 321
[40] Diagnosability verification using LTL model checking
Thiago M. Tuxi
Lilian K. Carvalho
Eduardo V. L. Nunes
Antonio E. C. da Cunha
Discrete Event Dynamic Systems, 2022, 32 : 399 - 433

← 1 2 3 4 5 →