On-The-Fly Path Reduction

被引：0

作者：

Biallas, Sebastian ^{[1
]}

Brauer, Joerg ^{[1
]}

Gueckel, Dominique ^{[1
]}

Kowalewski, Stefan ^{[1
]}

机构：

[1] Rhein Westfal TH Aachen, Embedded Software Lab, Aachen, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2011年 / 274卷

关键词：

verification; model checking; state explosion; path reduction;

D O I：

10.1016/j.entcs.2011.07.003

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Path reduction is a well-known technique to alleviate the state-explosion problem incurred by explicit-state model checking, its key idea being to store states only at predetermined breaking points. This paper presents an adaptation of this technique which detects breaking points on-the-fly during state-space generation. This method is especially suitable for the detection of breaking points in systems where static analyses yield coarse over-approximations. We evaluate the effectiveness of this technique by applying it to binary code verification.

引用

页码：3 / 16

页数：14

共 50 条

[1] On-the-fly range reduction
Lefèvre, V
Muller, JM
[J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2003, 33 (1-2): : 31 - 35
[2] On-the-Fly Range Reduction
Vincent Lefèvre
Jean-Michel Muller
[J]. Journal of VLSI signal processing systems for signal, image and video technology, 2003, 33 : 31 - 35
[3] On-the-fly range reduction
Lefèvre, V
Muller, JM
[J]. ADVANCED SIGNAL PROCESSING ALGORITHMS, ARCHITECTURES, AND IMPLEMENTATIONS X, 2000, 4116 : 209 - 213
[4] On-the-fly reduction of open loops
Buccioni, Federico
Pozzorini, Stefano
Zoller, Max
[J]. EUROPEAN PHYSICAL JOURNAL C, 2018, 78 (01):
[5] On-the-fly reduction of open loops
Federico Buccioni
Stefano Pozzorini
Max Zoller
[J]. The European Physical Journal C, 2018, 78
[6] Strategic Path Planning Allowing On-the-Fly Updates
Keidar, Ofri
Agmon, Noa
[J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1579 - 1580
[7] On-the-fly Reduction of Stimuli for Functional Verification
Guo, Qi
Chen, Tianshi
Shen, Haihua
Chen, Yunji
Hu, Weiwu
[J]. 2010 19TH IEEE ASIAN TEST SYMPOSIUM (ATS 2010), 2010, : 448 - 454
[8] On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees
Macoveiciuc, Elisei
Reissig, Gunther
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (04) : 2576 - 2583
[9] Integration of On-The-Fly Kinetic Reduction with Multidimensional CFD
He, Kaiyuan
Ierapetritou, Marianthi G.
Androulakis, Ioannis P.
[J]. AICHE JOURNAL, 2010, 56 (05) : 1305 - 1314
[10] Quasi-Equal Clock Reduction On-the-Fly
Westphal, Bernd
[J]. NASA FORMAL METHODS (NFM 2021), 2021, 12673 : 375 - 391

← 1 2 3 4 5 →