Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
Links:
AD Music Rod Hamilton Enchanted Forest
Donate to Hashing It Out
Discuss