%0 Journal Article
%T Model Checking Using Partial Kripke Structure with 3-Valued Temporal Logic<br>基于不完全Kripke结构三值逻辑的模型检验
%A GUO Jian
%A HAN Jun-Gang
%A <br>郭建
%A 韩俊刚
%J 计算机科学
%D 2006
%I 
%X 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
%K 3-valued loglc
%K Model checking
%K Partial kripke structure<br>三值逻辑
%K 模型检验
%K 不完全Kripke结构
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=2984751FEE03F4CF&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=38B194292C032A66&sid=96A53C367B5173D7&eid=4FE459D71E3BF8EB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5