DSpace at KOASAS
Browsing DSpace

Browse by Subject formal verification

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 6 of 6

1
Automated structural analysis of SCR-style software requirements specifications using PVS

t.h. kim; Cha, Sungdeok, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.11, no.3, pp.143 - 163, 2001-09

2
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

3
Model checking using interface abstraction = 인터페이스 추상화를 이용한 모델 체킹link

Jung, Hee-Jae; 정희재; et al, 한국과학기술원, 2003

4
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

5
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

6
State Token petri net modeling method for formal verification of computerized procedure execution flow = 전산화절차서 수행 흐름 정형 검증을 위한 상태 토큰 페트리넷 모델링 방법link

Kim, Yun-Goo; 김윤구; et al, 한국과학기술원, 2012

Discover

rss_1.0 rss_2.0 atom_1.0