Imandra Contracts - Formal verification of smart contracts
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
EVM
media
.gitignore
LICENSE
README.md

README.md

Imandra Contracts

Imandra Contracts

Imandra Contracts is a platform for analysing and reasoning about smart contracts, built on top of the Imandra formal verification system.

Community Models

This repository contains our community models. These models customise Imandra for reasoning about various classes of smart contracts.

Ethereum

Our first community model is an Imandra model of the Ethereum Virtual Machine (EVM). This model provides an executable operational semantics for the EVM, empowering Imandra to reason about Ethereum bytecode.

Resources

For a quick example, see EVM/README. For more, see docs.imandra.ai.

Get Involved

Have an idea to improve these models? Please join us!

Contributors

License

Apache 2.0