professormahi/griffin-targeted-symbolic-execution

Targeted Symbolic Execution Tool for Smart Contracts

Jupyter Notebook