Synthetic Minds

Program synthesis to secure blockchain smart contracts.