Model Checking Using Partial Kripke Structure with 3-Valued Temporal Logic
基于不完全Kripke结构三值逻辑的模型检验

Model checking is one of the attracting methods in formal verification, but the main disadvantage of model checking is the state explosion that might occur if the system being verified becomes larger. This paper presents a method of abstracting a system a