Ethereum, Kvm, Formal Verification, Solidity, Smart Contracts.
Formal Verification for n00bs — Part 1: The K ecosystem This is first in a series of blog posts on Formal Verification: Part 1: The K ecosystem Part 2: Proving the correctness of a token Part 3: Formal Verification for n00bs -Part 3: An attempt to prevent classic hack with Act Part 4: Understanding