Formal Verification: An Example
A simple, safe, implementation of a Soulbound Token
Tags: ethereum, security, solidity