ETH Hub Tbilisi

← Back to Projects

Mini Protocol — Formal Verification for Smart Contracts

Verification project for Formal Verification for Smart Contracts.

Code Video Demo

SKILLS & TOPICS

Formal Verification Smart Contract Security

TEAM (1)

poly_pete

View profile →

FROM COURSE

Formal Verification for Smart Contracts

Nov 1, 2024 — Nov 22, 2024