Symbolic bounded model checker for Ethereum smart contracts - View it on GitHub