Synthetic Minds

Synthetic Minds is a company providing smart contracts security solutions. It offers a synthesizer and a formal verifier which together perform automated audits of smart contracts and find business logic failures, double spends, etc.