SAVE

Keywords: d-Calculus, GTS Logic, Specification, Verification, Visualization

Affiliation: Division of Computer Science and Engineering, Chonbuk National University, Republic of Korea

Yeongbok Choe

Lee SungHyeon

Song JunSup

Moonkun Lee