Static analyzer and formal verifier for Stratis smart contracts - View it on GitHub