HALMOS

Halmos symbolic testing tutorial: prove your properties

A complete tutorial on using Halmos for symbolic execution of Solidity. Write proofs instead of tests, get mathematical guarantees, and catch bugs fuzzers miss.