---
id: 1849
title: "Contract verification made easier"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/07/12/new-manticore-verifier-for-smart-contracts/"
published_at: "2020-07-12T19:00:46Z"
tags: ["web3", "smart-contracts", "formal-verification", "solidity", "echidna", "symbolic-execution", "manticore"]
phying_url: "https://phying.com/item/1849"
lang: en
---

# Contract verification made easier

## Summary

manticore-verifier lets Solidity developers express security properties in Solidity and automatically verify them via symbolic execution; property tests are format-compatible with Echidna.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2020-07-12T19:00:46Z
- **Original:** https://blog.trailofbits.com/2020/07/12/new-manticore-verifier-for-smart-contracts/
- **Phying News:** https://phying.com/item/1849