Nomadic Labs Research Seminars #23 | ConCert, a framework for smart contract verification in Coq

ConCert: A Smart Contract Certification Framework in CoqПодробнее

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

Nomadic Labs Research Seminars #10 | High-level smart contract design & verification with ArchetypeПодробнее

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

ConCert: A Smart Contract Certification Framework in Coq.Подробнее

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

Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to TezosПодробнее

Mi-Cho-Coq, a framework for certifying Tezos Smart ContractsПодробнее

Nomadic Labs Research Seminars #5 | zkChannels on TezosПодробнее

Nomadic Labs Research Seminars #7 | SmartPy: The inner workingsПодробнее

Nomadic Labs Research Seminars #17 | Prototype of a Typical Smart Contract AgencyПодробнее

Jose Nunes, COO of Vaf Compliance at Dubai Precious Metals ConferenceПодробнее

Découvrez Nomadic Labs en 2 min !Подробнее

Nomadic Labs - Tezos Dev Day 2020 - Official AftermovieПодробнее