Smart Contracts and Formal Verification with Z3 with Pact

Exploring and applying smart contract formal verification approaches on the Ethereum platformПодробнее

Kadena Research Makes me BullishПодробнее

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

Financial contracts on Cardano: The ACTUS standard in MarloweПодробнее

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

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

Solc-verify, a source-level formal verification tool for Solidity smart contracts by Akos HajduПодробнее

Auditing and Formal Verification - Better togetherПодробнее

Formal verification of smart contractsПодробнее

EAITSM 13th Annual Conference 2021 - Session 2 - Formal Verification of Smart ContractsПодробнее

Joel Burget - Authoring and Formal Verification of Smart Contracts in Pact - λC 2018Подробнее

Smart Contract formal verification: Process Calculus and Modal Logics, on 4 July 2018Подробнее

Formal verification: the road to complete security of smart contracts - Martin LundfallПодробнее

Bas Spitters: Smart Contracts and Formal Verification for the BlockchainПодробнее

Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny GokhbergПодробнее

CertiK Interview: Formal Verification Platform for Smart Contracts and Blockchain EcosystemsПодробнее

Formal Verification: The Road to Complete Security of Smart Contracts - SBC '19Подробнее

Certik is a formal verification system for smart contractsПодробнее

Formal Smart Contract Verification | Runtime Verification Inc.Подробнее