Showing results 2 to 6 of 6
Formal verification of functional properties of a SCR-style software requirements specification using PVS Kim, T; Stringer-Calvert, D; Cha, Sungdeok, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.87, no.3, pp.351 - 363, 2005-03 |
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