Contributor
@cushionbadak
repos
3
ecosystems
1
languages
commits
407
The Michelson Symbolic vErifier
Michelson Symbolic vErifier, for verifying and testing the integrity of smart contracts in the Tezos blockchain.
A Tool for Verifying and Refuting Smart Contract of Tezos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.