A Divide & Conquer Approach to Conditional Stable Model Checking
A Divide & Conquer Approach to Conditional Stable Model Checking
复制标题
鸿沟
DOI：
10.1007/978-3-030-85315-0_7
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Ogata Kazuhiro
中科院分区：
文献类型：
--
作者：
Phyo Yati;Do Canh Minh;Ogata Kazuhiro
本文描述了一种分层的方法来检验条件稳定性，其中φ _1，φ _2，φ_1，φ_2是状态命题，以缓解状态空间爆炸问题。我们证明了一个定理，所提出的技术是正确的，并设计了一个算法的基础上的定理。
We describe a stratified way to model check conditional stable properties expressed as, where φ _1, φ _2 φ 1, φ 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.