- ๐ฏ Iโm looking to collaborate on software engineering and software security research!
- ๐ซ How to reach me: Find me via my KTH profile!
mojtaba-eshghie / invcon-tool Goto Github PK
View Code? Open in Web Editor NEWThis project forked from franklinliu/invcon-tool
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!