bornfight/smart-contract-formal-verification
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker
JavaScriptGPL-3.0
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker
JavaScriptGPL-3.0