https://hackmd.io/@SaferMaker/EVM-Sym-Exec https://github.com/WilfredTA/formal-methods-curriculum/blob/master/courses/2_Approaches_Modeling_Verification/content/1_Symbolic_Execution/symbolic_execution.md https://github.com/WilfredTA/formal-methods-curriculum/blob/master/courses/2_Approaches_Modeling_Verification/exercises/1_Symbolic_Execution/exercise_1.md https://ethereum.stackexchange.com/questions/144691/whats-the-difference-between-invariant-and-fuzz-testing