MicSE

Table of Contents

• MicSE (in development)
  • Table of Contents
  • Introduction
  • Documents
  • Development
    • Prerequisite
    • Git Commit Guidelines
  • About

Introduction

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)

Documents

• Installation
• Usage

Development

Prerequisite

Dependencies

Git Commit Guidelines

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.

About

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