GitHub repository: wmeyer/smart-contract-validation
Created: 2018-01-20T10:57:41Z
Description: Validating smart contracts with lightweight formal methods