%0 Journal Article %A Deng, LiangJun %A Lei, Hang %A Yang, Zheng %A Qian, WeiZhong %A Li, XiaoYu %A Wu, Hao %A Deng, Sihao %A Sha, RuChao %A Deng, WeiDong %D 2023 %J Computer Systems Science and Engineering %@ %V 45 %N 2 %P 2155--2170 %T Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application %M doi:10.32604/csse.2023.027680 %U http://www.techscience.com/csse/v45n2/50376