Verifying Ethereum-flavored Wasm (Ewasm) Code

by Rikard Hjort and Stephen Skeirik Runtime Verification Mar 23, 2020 ยท 11 min read Welcome to the final installment in the series on formal verification brought to you by Runtime Verification and dlab. If you missed the first three parts, you can find them here: Introducing KWasm, and an intro to symbolic execution An … Read more