Open Access

ARTICLE

Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application

LiangJun Deng¹, Hang Lei¹, Zheng Yang¹, WeiZhong Qian^1,*, XiaoYu Li¹, Hao Wu², Sihao Deng³, RuChao Sha¹, WeiDong Deng⁴

1 School of Information and Software Engineering, University of Electronic Science and Technology of China, Chengdu, 610054, China
2 School of Physics, University of Electronic Science and Technology of China, Chengdu, 611731, China
3 ICB-PMDM-LERMPS UMR 6303, CNRS, UTBM, Université de Bourgogne Franche-Comté, Belfort, 90010, France
4 Chengdu Railway Science and Technology Innovation Co. LTD, Chengdu, 640041, China

* Corresponding Author: WeiZhong Qian. Email: