Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. - Shingo Fukuoka; Yixiang Chen 001; Shaoying Liu (GSKI (1), 2017)