Smart Contract Languages & Formal Verification, Part 1 - Tezos Workshop

Smart Contract Languages & Formal Verification, Part 2 - Tezos WorkshopПодробнее

Introduction to Tezos Smart ContractsПодробнее

Formal Verification of Smart Contracts - Yoichi HiraiПодробнее

Formal Verification of Smart Contracts with the th2 Automation FrameworkПодробнее

SmartPy - An Intro into the Tezos Smart Contract LanguageПодробнее

NL Research Seminars #26| MicSE: Automated Verification and Testing of Tezos Smart ContractsПодробнее

Nomadic Labs Research Seminars #2 | Verifying Tezos Smart Contracts in the Mi-Cho-Coq FrameworkПодробнее

Clear: a Formal Verification framework for smart contracts in LeanПодробнее

Smart Contract Languages & Formal Verification, Part 1 - Tezos WorkshopПодробнее

Formal verification of EVM bytecodes: Part 1, the setupПодробнее

Formal Verification of Financial Protocols | Martin LundfallПодробнее

SmartPy Workshop - Tezos + CoinList HackathonПодробнее

Formal Verification of Smart Contracts Made Easy (Devcon5)Подробнее

Smart Contracts and Formal Verification with Z3 with PactПодробнее

LIGO Workshop - Tezos + CoinList HackathonПодробнее

[Think Tezos #1] Why Tezos is the most secure blockchain platformПодробнее

Deploy Tezos Smart Contract with Smartpy Cli | Tezos TutorialПодробнее

Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in CoqПодробнее

Tezos Developer Workshop with Andrew Smith, Vishakh Null, and Matej ŠimaПодробнее