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

0x180db / smart-contract-validation Public

forked from wmeyer/smart-contract-validation

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Validating Smart Contracts with Lightweight Formal Methods

0 stars 1 fork Branches Tags Activity

Notifications

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

About

Validating Smart Contracts with Lightweight Formal Methods

Report repository

Releases

No releases published

Packages

No packages published

Languages

Alloy 100.0%