MicSE is a tool for automatically verifying and testing Tezos smart contracts written in Michelson. Michelson is the native smart contract language of the Tezos Blockchain.
MicSE can verify the absence of runtime failures of Michelson programs, e.g., no arithmetic overflow. Also, MicSE supports verification of user-provided assertions.
- Prover (=verifier)
- Refuter (=tester)
We are following Angular's commitizen rules for formatting git commit message. This allows you to read messages that are easy to understand when looking for project history. It also uses the git commit message to generate our CHANGELOG file.
This project is funded by Tezos Foundation: Verification and Testing Infrastructure for Tezos Contracts.
Authored and maintained by Jisuk Byun, Heewoong Jang
Github @cushionbadak
Github @JormalHeewoongJang