Zobrazeno 1 - 10
of 17
pro vyhledávání: '"YATI, PHYO"'
Publikováno v:
IEEE Access, Vol 10, Pp 133749-133765 (2022)
We invented a divide & conquer approach to conditional stable model checking so as to ease the state space explosion problem. As indicated by its name, the technique concentrates on conditional stable properties expressed as $\varphi _{1} \leadsto \B
Externí odkaz:
https://doaj.org/article/42d741f708784d1bbc8fa998d7be334d
Publikováno v:
Information, Vol 14, Iss 7, p 384 (2023)
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce th
Externí odkaz:
https://doaj.org/article/aca30735bff9493ba6068b83cb477fc2
Publikováno v:
Mathematics, Vol 9, Iss 4, p 368 (2021)
The paper proposes a new technique to mitigate the state of explosion in model checking. The technique is called a divide and conquer approach to eventual model checking. As indicated by the name, the technique is dedicated to eventual properties. Th
Externí odkaz:
https://doaj.org/article/b2e79946cc4e4e11af32e12ed4108c80
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-38, 38p
Autor:
YATI, PHYO
Supervisor:緒方 和博
先端科学技術研究科
博士
先端科学技術研究科
博士
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=jairo_______::ed41b71b9cd21742dcaa621e41cea53d
http://hdl.handle.net/10119/18134
http://hdl.handle.net/10119/18134
Publikováno v:
2022 9th International Conference on Dependable Systems and Their Applications (DSA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fb775a9eb29e06393d3537cf5ee70a22
https://doi.org/10.1109/dsa56465.2022.00045
https://doi.org/10.1109/dsa56465.2022.00045
Publikováno v:
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2585344f313e00644c986b0a07824cda
https://doi.org/10.18293/seke2022-058
https://doi.org/10.18293/seke2022-058
Publikováno v:
The Computer Journal. 65:1353-1364
The paper proposes a new technique to mitigate the state explosion in model checking. The technique is called a divide & conquer approach to leads-to model checking. As indicated by the name, the technique is dedicated to leads-to properties. It is k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb158af129a0bc70f9d3a7957d2d9d70
https://doi.org/10.1093/comjnl/bxaa183
https://doi.org/10.1093/comjnl/bxaa183
Publikováno v:
2021 7th International Symposium on System and Software Reliability (ISSSR).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::459dd1bd802716a39149ef796fc14a23
https://doi.org/10.1109/isssr53171.2021.00011
https://doi.org/10.1109/isssr53171.2021.00011
Publikováno v:
COMPSAC
The paper describes a support tool for a technique that alleviates the notorious state space explosion problem in model checking. The technique is called the L + 1-layer divide & conquer approach to leads-to model checking. As indicated by the name,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11381e30d3b0f186a0defe49b605dec3
https://doi.org/10.1109/compsac51774.2021.00118
https://doi.org/10.1109/compsac51774.2021.00118