A Divide & Conquer Approach to Conditional Stable Model Checking

被引：2

作者：

Phyo, Yati ^{[1
]}

Canh Minh Do ^{[1
]}

Ogata, Kazuhiro ^{[1
]}

机构：

[1] Japan Adv Inst Sci & Technol JAIST, Sch Informat Sci, Nomi, Ishikawa 9231211, Japan

来源：

THEORETICAL ASPECTS OF COMPUTING, ICTAC 2021 | 2021年 / 12819卷

关键词：

Conditional stable properties; Linear temporal logic (LTL); Model checking;

D O I：

10.1007/978-3-030-85315-0_7

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We describe a stratified way to model check conditional stable properties expressed as phi(1) (sic) rectangle phi(2), where phi(1), phi(2) are state propositions, so as to alleviate the state space explosion problem. We prove a theorem that the proposed technique is correct and design an algorithm based on the theorem.

引用

页码：105 / 111

页数：7

共 50 条

[1] A Divide and Conquer Approach to Eventual Model Checking
Aung, Moe Nandi
Phyo, Yati
Do, Canh Minh
Ogata, Kazuhiro
[J]. MATHEMATICS, 2021, 9 (04) : 1 - 16
[2] A Divide & Conquer Approach to Leads-to Model Checking
Phyo, Yati
Do, Canh Minh
Ogata, Kazuhiro
[J]. COMPUTER JOURNAL, 2022, 65 (06): : 1353 - 1364
[3] A Divide & Conquer Approach to Model Checking of Liveness Properties
Ogata, Kazuhiro
Zhang, Min
[J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 648 - 657
[4] A divide and conquer approach to leads-to-model checking
Phyo, Yati
Do, Canh Minh
Kazuhiro, Ogata
[J]. ITNOW, 2021, 63 (02)
[5] A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
Ogata, Kazuhiro
[J]. FRONTIERS OF COMPUTER SCIENCE, 2019, 13 (01) : 51 - 72
[6] A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
Kazuhiro Ogata
[J]. Frontiers of Computer Science, 2019, 13 : 51 - 72
[7] A support tool for the L+1-layer divide & conquer approach to leads-to model checking
Phyo, Yati
Canh Minh Do
Ogata, Kazuhiro
[J]. 2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 854 - 863
[8] Toward development of a tool supporting a 2-layer divide & conquer approach to leads-to model checking
Phyo, Yati
Canh Minh Do
Ogata, Kazuhiro
[J]. 2019 INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION TECHNOLOGIES (ICAIT), 2019, : 250 - 255
[9] A stable divide and conquer algorithm for the unitary eigenproblem
Gu, M
Guzzo, R
Chi, XB
Cao, XQ
[J]. SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS, 2003, 25 (02) : 385 - 404
[10] Separation of Concerns in Process Compliance Checking: Divide-and-Conquer
Ardila, Julieth Patricia Castellanos
Gallina, Barbara
[J]. SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT (EUROSPI 2020), 2020, 1251 : 135 - 147

← 1 2 3 4 5 →