Cartesian partial-order reduction

被引：0

作者：

Gueta, Guy ^{[1
]}

Flanagan, Cormac ^{[2
]}

Yahav, Eran ^{[3
]}

Sagiv, Mooly ^{[1
]}

机构：

[1] Tel Aviv Univ, IL-69978 Tel Aviv, Israel

[2] Univ California, Santa Cruz, CA USA

[3] IBM Corp, Thomas J Watson Res Ctr, Box 218, Yorktown Hts, NY 10598 USA

来源：

MODEL CHECKING SOFTWARE, PROCEEDINGS | 2007年 / 4595卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semantics that reduces the amount of nondeterminism in concurrent programs by delaying unnecessary context switches. Using this semantics, we construct a novel dynamic partial-order reduction algorithm. We have implemented our algorithm and evaluate it on a small set of benchmarks. Our preliminary experimental results show a significant potential saving in the number of explored states and transitions.

引用

页码：95 / +

页数：4

共 50 条

[21] Static Partial-Order Reduction of Concurrent Systems in Polynomial Time
Mittermayr, Robert
Blieberger, Johann
[J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 619 - 633
[22] Learning on Partial-Order Hypergraphs
Feng, Fuli
He, Xiangnan
Liu, Yiqun
Nie, Liqiang
Chua, Tat-Seng
[J]. WEB CONFERENCE 2018: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW2018), 2018, : 1523 - 1532
[23] Partial-Order Reduction in Symbolic State-Space Exploration
R. Alur
R.K. Brayton
T.A. Henzinger
S. Qadeer
S.K. Rajamani
[J]. Formal Methods in System Design, 2001, 18 : 97 - 116
[24] Prioritized Constraint-Aided Dynamic Partial-Order Reduction
Su, Jie
Tian, Cong
Yang, Zuchao
Yang, Jiyu
Yu, Bin
Duan, Zhenhua
[J]. PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022, 2022,
[25] Formal verification of a partial-order reduction technique for model checking
Chou, CT
Peled, D
[J]. JOURNAL OF AUTOMATED REASONING, 1999, 23 (3-4) : 265 - 298
[26] Theory of partial-order programming
Osorio, M
Jayaraman, B
Plaisted, DA
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1999, 34 (03) : 207 - 238
[27] Semantics of partial-order programs
Osorio, M
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1998, 1489 : 47 - 61
[28] Partial-order reduction for parity games and parameterised Boolean equation systems
Thomas Neele
Tim A. C. Willemse
Wieger Wesselink
Antti Valmari
[J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 735 - 756
[29] Partial-order reduction for parity games and parameterised Boolean equation systems
Neele, Thomas
Willemse, Tim A. C.
Wesselink, Wieger
Valmari, Antti
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (05) : 735 - 756
[30] The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
Neele, Thomas
Valmari, Antti
Willemse, Tim A. C.
[J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2020, 2020, 12077 : 482 - 501

← 1 2 3 4 5 →