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 条

[21] ebXML verification using model checking
Di Sciascio, E
Donini, FM
Mongiello, M
Piscitelli, G
ITI 2004: PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2004, : 455 - 460
[22] Verification of clinical guidelines by model checking
Perez, Beatriz
Porres, Ivan
PROCEEDINGS OF THE 21ST IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, 2008, : 114 - +
[23] Model Checking for Verification of Quantum Circuits
Ying, Mingsheng
FORMAL METHODS, FM 2021, 2021, 13047 : 23 - 39
[24] On Applying Model Checking in Formal Verification
Hjort, Hakan
2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 3 - 3
[25] Applying model checking to workflow verification
Pfeiffer, JH
Rossak, WR
Speck, A
11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 144 - 151
[26] Managing Verification Error Traces with Bounded Model Debugging
Safarpour, Sean
Veneris, Andreas
Najm, Farid
2010 15TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC 2010), 2010, : 590 - +
[27] Combining Type-Checking with Model-Checking for System Verification
Ren, Zhiqiang
Xi, Hongwei
2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 54 - 58
[28] From model checking to equilibrium checking: Reactive modules for rational verification
Gutierrez, Julian
Harrenstein, Paul
Wooldridge, Michael
ARTIFICIAL INTELLIGENCE, 2017, 248 : 123 - 157
[29] Enhancing model checking in verification by AI techniques
Buccafurri, Francesco
Eiter, Thomas
Gottlob, Georg
Leone, Nicola
Artificial Intelligence, 1999, 112 (01): : 57 - 104
[30] Model checking: Formal verification at a higher level
Kurshan, B
DePalma, G
COMPUTER DESIGN, 1996, 35 (09): : 72 - 73

← 1 2 3 4 5 →