Formal Verification in Commercial Environments

Hyun Woo Cho

대한전자공학회 토론회

1996 .01

Case Study : Applying formal verification in IP design

Hyun don Kim ,  Jae beom Kim ,  Byeong eon Min 외 1명

대한전자공학회 ISOCC

2007 .10

The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems

Hyun-Jeong Jo ,  Jong-Gyu Hwang ,  Yong-Ki Yoon

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2007 .07

Verification of results

Jens Holge ,  Rindel

한국소음진동공학회 세미나자료집

2009 .11

열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석

조현정 ,  황종규 ,  윤용기

한국철도학회 학술발표대회논문집

2007 .05

엄밀한 검증을 통한 격리

강지훈

정보과학회지

2020 .03

Analysis of the Formal Specification Application for Train Control Systems

Hyun-Jeong Jo ,  Yong-Ki Yoon ,  Jong-Gyu Hwang

Journal of Electrical Engineering & Technology

2009 .03

Formal Verification Network-based Protocol for Railway Signaling Systems

Jong-Gyu Hwang ,  Jae-Ho Lee

제어로봇시스템학회 국제학술대회 논문집

2004 .08

Efficient Formal Verification of Pipelined Microprocessors

Mi ,  oslav N. Velev

대한전자공학회 ISOCC

2005 .10

FINGERPRINT VERIFICATION SYSTEM - VERIFICATION ALGORITHM -

K. Fukue ,  H. Shimoda ,  T. Sakata

IEEE Region 10 Conference

1987 .01

Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석

趙賢庭 ,  黃宗奎 ,  尹用基

전기학회논문지 P

2008 .06

“소프트웨어 검증” 특집을 내면서

배경민 ,  이선아

정보과학회지

2019 .04

A Framework for Integrated Hardware-Software Co-verification of Multiprocessor SoC

Muhammad Faisal ,  Jong Won Kim

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2005 .07

System - level Design Based on Formal Model of Computation

하순회

대한전자공학회 기타 간행물

2001 .11

A Formal Model for Allocation of Objects into Heterogeneous Distributed Environments

Jaewon Oh ,  Seunghoon Choi ,  Chisu Wu

Journal of Electrical Engineering and information Science

2000 .02

Formal Specification and Verification of ISDN Services in LOTOS

Keiichi ,  ou Yamano ,  Dusan Jokanovic 외 4명

대한전자공학회 세미나

1991 .01

암호프로토콜 논리성 검증도구 개발에 관한 연구

권태경 ,  김승주 ,  송보연

정보보호학회지

2002 .04

Effective Verification Environment using SoC Platform

Chan-Min Jung ,  Byung-Gyu Ahn ,  Ki-Seok Chung 외 1명

대한전자공학회 ISOCC

2006 .10