GitHub repository: AdashaSecurity/smart-contract-analysis-tools-example
Description: This repository is used to demonstrate how we incorporate formal verification tools in our workflow.