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: gravityblast
- status: done
- start-date: 2025/07/01
- end-date: 2025/09/31
Description
The goal of this task is to explore alternative formal verification tools to Certora and their integration with the existing smart contracts.