GitHub - wmeyer/smart-contract-validation: Validating Smart Contracts with Lightweight Formal Methods

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
_config.yml		_config.yml
ballot.als		ballot.als
example1_screenshot1.png		example1_screenshot1.png
example1_screenshot2.png		example1_screenshot2.png
example1_screenshot3.png		example1_screenshot3.png
example1_screenshot4.png		example1_screenshot4.png
example1_screenshot5.png		example1_screenshot5.png
example1_screenshot6.png		example1_screenshot6.png
example2_screenshot1.png		example2_screenshot1.png
example2_screenshot2.png		example2_screenshot2.png
index.md		index.md
simpleauction.als		simpleauction.als