Liangjun Deng

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Symbolic Model Checking

Seamless Integration

Computing Environments

Detection Method

Top Venues

Comput. Syst. Sci. Eng.

Publications

Liangjun Deng, Hang Lei, Zheng Yang, Weizhong Qian, Xiaoyu Li, Hao Wu, Sihao Deng, Ruchao Sha, Weidong Deng
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application. Comput. Syst. Sci. Eng. 45 (2) (2023)