/smart-contract-formal-verification

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

Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0

Stargazers