Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.

Shingo Fukuoka Yixiang Chen Shaoying Liu

Published in: GSKI (1) (2017)

Keyphrases

formal verification
model checking
bounded model checking
model checker
artificial intelligence
data sets
rough sets
semi automatic
fully automatic
software application