CHC-based Automated Verification of WebAssembly Programs

Akihisa Yagi, Ken Sakayori, Naoki Kobayashi

WebAssembly is a stack-based imperative language widely used to develop safe and efficient Web applications. In this paper, we propose an automated static verification method for a…