Showing results 5 to 6 of 6
SAT-based unbounded symbolic model checking Kang, HJ; Park, In-Cheol, IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, v.24, no.2, pp.129 - 140, 2005-02 |
State Token petri net modeling method for formal verification of computerized procedure execution flow = 전산화절차서 수행 흐름 정형 검증을 위한 상태 토큰 페트리넷 모델링 방법link Kim, Yun-Goo; 김윤구; et al, 한국과학기술원, 2012 |
Discover