vac:sc:ift:2025q2-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:
2025q2-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