bornfight / smart-contract-formal-verification Public

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

Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker

GPL-3.0 license

6 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
build/contracts		build/contracts
contracts		contracts
migrations		migrations
promela		promela
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
truffle-config.js		truffle-config.js
truffle.js		truffle.js

Repository files navigation

Formal Verification of Ethereum Smart Contracts using Spin model checker

Work in progress. Example file is for a cash dispenser smart contract. Implementation is incomplete

About

Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker

GPL-3.0 license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

JavaScript 100.0%