Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker
-
Updated
Nov 25, 2017 - JavaScript
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker
continuous accessibility pal
jQuery plugin for one page website analytics (single page website analytics)
Add a description, image, and links to the bornfight topic page so that developers can more easily learn about it.
To associate your repository with the bornfight topic, visit your repo's landing page and select "manage topics."