Browse by Subject formal verification
Showing results 3 to 6 of 6
| Model checking using interface abstraction = 인터페이스 추상화를 이용한 모델 체킹link Jung, Hee-Jae; 정희재; et al, 한국과학기술원, 2003 |
| Modeling of computerized procedure execution with State Token Petri Net for formal verification of procedure flow Kim, Yun Goo; Seong, Poong Hyun, JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, v.49, no.1-2, pp.173 - 181, 2012-01 |
| 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
Type
Open Access
Date issued
- 31,475 2020 - 2024
- 99,981 2010 - 2019
- 75,670 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969