A formal verifier and analysis tool for Solidity Smart Contracts - View it on GitHub