5 ms·
Interesting paper on a formally generated Wasm interpreter. https://github.com/WasmCert/WasmCert-Isabelle https://github.com/WasmCert/WasmCert-Isabelle Mechan
by sitkack 4y ago
Interesting paper on a formally generated Wasm interpreter.
https://github.com/WasmCert/WasmCert-Isabelle https://github.com/WasmCert/WasmCert-Isabelle
Mechanising and Verifying the WebAssembly Specification
https://www.cl.cam.ac.uk/~caw77/papers/mechanising-and-verifying-the-webassembly-specification.pdf https://www.cl.cam.ac.uk/~caw77/papers/mechanising-and-verif...