KJCKorea
Journal Central

@article{ART001683583},
author={허혜림 and 김제민 and PARK JOONSEOK and Weon Hee Yoo},
title={Visualization of Verification Condition by GML file},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2012},
volume={17},
number={7},
pages={23-32},
doi={}

TY - JOUR
AU - 허혜림
AU - 김제민
AU - PARK JOONSEOK
AU - Weon Hee Yoo
TI - Visualization of Verification Condition by GML file
JO - Journal of The Korea Society of Computer and Information
PY - 2012
VL - 17
IS - 7
PB - The Korean Society Of Computer And Information
SP - 23
EP - 32
SN - 1598-849X
AB - There is a method which identifies validity of program by transforming program to verification condition to verify program. If program is verified by generating verification condition, verification condition must have enough and accurate information for verifying program. However, verification condition is consisting of logical formulas, so the user cannot easily identify the verification condition. In this paper, we implemented program that visualize the poorly readable verification conditions. By the program, the users can easily identify information, such as the relationship between logical formulas that represent verification condition
KW - Verification Condition(VC);graph;visualization;unstructured program
DO -
ER -

허혜림, 김제민, PARK JOONSEOK and Weon Hee Yoo. (2012). Visualization of Verification Condition by GML file. Journal of The Korea Society of Computer and Information, 17(7), 23-32.

허혜림, 김제민, PARK JOONSEOK and Weon Hee Yoo. 2012, "Visualization of Verification Condition by GML file", Journal of The Korea Society of Computer and Information, vol.17, no.7 pp.23-32. Available from: doi:

허혜림, 김제민, PARK JOONSEOK, Weon Hee Yoo "Visualization of Verification Condition by GML file" Journal of The Korea Society of Computer and Information 17.7 pp.23-32 (2012) : 23.

허혜림, 김제민, PARK JOONSEOK, Weon Hee Yoo. Visualization of Verification Condition by GML file. 2012; 17(7), 23-32. Available from: doi:

허혜림, 김제민, PARK JOONSEOK and Weon Hee Yoo. "Visualization of Verification Condition by GML file" Journal of The Korea Society of Computer and Information 17, no.7 (2012) : 23-32.doi:

허혜림; 김제민; PARK JOONSEOK; Weon Hee Yoo. Visualization of Verification Condition by GML file. Journal of The Korea Society of Computer and Information, 17(7), 23-32. doi:

허혜림; 김제민; PARK JOONSEOK; Weon Hee Yoo. Visualization of Verification Condition by GML file. Journal of The Korea Society of Computer and Information. 2012; 17(7) 23-32. doi:

허혜림, 김제민, PARK JOONSEOK, Weon Hee Yoo. Visualization of Verification Condition by GML file. 2012; 17(7), 23-32. Available from: doi:

허혜림, 김제민, PARK JOONSEOK and Weon Hee Yoo. "Visualization of Verification Condition by GML file" Journal of The Korea Society of Computer and Information 17, no.7 (2012) : 23-32.doi: