Home
Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18
Hedera
22 ต.ค. 2018
การดู 9,868 ครั้ง
Keynote: Formal Verification? No, Formal Reasoning! | Marianne Bellotti | Code BEAM America 2022
Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover (2021)
The Hedera Hashgraph Advantage | Hedera18 Keynote
Think Fast, Talk Smart: Communication Techniques
Mastering the Art of Reading Proofs: By Example
Correctness proofs of distributed systems with Isabelle/HOL
How Hashgraph Works - Dr. Leemon Baird at Thomson Reuters
Keynote: Formal Methods at Microsoft - Nikolaj Bjørner
First Proof by Induction | Software Foundations in Coq | LF | Induction
The Future of Mathematics?
When Computers Write Proofs, What's the Point of Mathematicians?
Introduction to Coq by Kimball Germane
Cantor's Theorem in Coq
The Coq Proof Assistant, and Logical Foundations
Haskell for Imperative Programmers #41 - Formal Verification (using Isabelle)
What is Formal Verification?
Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Lessons learned while formally verifying the ZipCPU - Dan Gisselquist - ORConf 2018
Automated Mathematical Proofs - Computerphile