Smartbugs

SmartBugs is an execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart contracts. For more details, see list of publications below or visit SmartBugs’s webpage.

Avatar
João F. Ferreira
Computer Scientist

My research interests include software reliability, software verification, and formal methods applied to software engineering. I am also interested in interactive storytelling. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn.