---
title: Formal Verification Tools Research
tags:
  - "2025q3"
  - "sc"
  - "ift"
draft: false
description: Look into alternative formal verification tools and their integration with the existing smart contracts.
---

`vac:sc:ift:2025q3-fv-tools-research`

Look into alternative formal verification tools and their integration with the existing smart contracts.

## Description

Look into alternative formal verification tools and their integration with the existing smart contracts.

## Task List

### Research alternative tools

* fully qualified name: `2025q3-fv-tools-research:research-alternatives`
* owner: r4bbit
* status: not started
* start-date: 2025/04/01
* end-date: 2025/06/31

#### Description

The goal of this task is to explore alternative formal verification tools to Certora and their integration with the existing smart contracts.

#### Deliverables

- [ ] Document that shows the results of the research and the pros and cons of each tool

