Computer Science ›› 2006, Vol. 33 ›› Issue (3): 263-266.
Previous Articles Next Articles
GUO Jian , HAN Jun-Gang (1. Xidian University,Xi'an 710071;2. Xi'an Institute of Post and Telecommunications,Xi'an 710071)
Online:
Published:
Abstract: 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
Key words: 3-valued loglc,Model checking,Partial kripke structure
GUO Jian , HAN Jun-Gang (1. Xidian University,Xi'an 710071;2. Xi'an Institute of Post and Telecommunications,Xi'an 710071). [J].Computer Science, 2006, 33(3): 263-266.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I3/263
Cited