Pre and Post Deployment Here is a massive list of the available security products for smart contracts. This data has been compiled from company websites, Discord servers, GithHub orgs, and Twitter accounts.Testing Software, Pre-Deployment Certora - Formal Verification Certora is a pre-deployment formal verification software that checks for bugs given invariants. When provided an invariant, the software does a proof by induction to find counter examples where the invariant does not hold. If th...