Shang WanXin

Publication Activity (10 Years)

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

Top Topics

Abstract Interpretation

Top Venues

Publications

Shang WanXin, Tao Wu, Yang Fei, Chen Xi, Jingjue Chen, Zhenxia Yu
CUDA Acceleration of Worst-Case Execution Time Analysis Based On Model Checking. CBD (2022)