How difficult is it to write correct smart contracts? Depends on your tools!
Formal method tools are key productivity aids for authoring correct smart contracts
InWhat properties must an enterprise smart contract language
InWhat properties must an enterprise smart contract language