Login / Signup
Formal Verification Platform as a Service: WebAssembly Vulnerability Detection Application.
Liangjun Deng
Hang Lei
Zheng Yang
Weizhong Qian
Xiaoyu Li
Hao Wu
Sihao Deng
Ruchao Sha
Weidong Deng
Published in:
Comput. Syst. Sci. Eng. (2023)
Keyphrases
</>
formal verification
service platform
computing environments
model checking
artificial intelligence
end users
open source
source code
detection algorithm
detection method
domain independent
seamless integration
symbolic model checking
bounded model checking