Hellow guys, Welcome to my website, and you are watching Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18. and this vIdeo is uploaded by Hedera at 2018-10-22T21:22:12-07:00. We are pramote this video only for entertainment and educational perpose only. So, I hop you like our website.
| Name | Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18 |
| Video Uploader | Video From Hedera |
| Upload Date | This Video Uploaded At 23-10-2018 04:22:12 |
| Video Discription | Dr. Leemon Baird will present an introduction to how mathematical proofs can be checked by a computer, and how this can be useful in projects where security and correctness are important. These formal methods can increase our confidence that a consensus algorithm is truly Asynchronous Byzantine Fault Tolerant (ABFT), or that a given program correctly implements that algorithm. Examples will be shown from the proofs that have been developed for the Hashgraph consensus algorithm, using the Coq Proof Assistant. Timestamps for this video 0:00 Why trust a distributed ledger? 2:35 Introduction to the Coq Proof Assistant 4:48 Hashgraph ABFT proof 8:59 How to read the Coq file and understand it 13:24 How to use a math proof 24:28 Coq Lemma Proof 29:53 Next steps and closing Slides https://www.slideshare.net/HederaHashgraph/deep-dive-formal-methods-with-dr-leemon-baird-hedera18 Speaker Dr. Leemon Baird | Co-Founder & Chief Scientist | Hedera Hashgraph Developer resources: Chat: https://hedera.com/discord Docs: https://docs.hedera.com/guides GitHub: https://github.com/hashgraph Testnet Access: https://portal.hedera.com Join our community to learn more: Website: https://www.hedera.com Twitter: https://twitter.com/hashgraph Telegram: https://t.me/hederahashgraph Discord: https://www.hedera.com/discord LinkedIn: https://www.linkedin.com/company/hashgraph Medium: https://medium.com/hashgraph Facebook: https://www.facebook.com/hashgraph Instagram: https://www.instagram.com/hashgraph Reddit: https://www.reddit.com/r/hashgraph Whitepaper: https://www.hedera.com/whitepaper Consensus Service Whitepaper: https://www.hedera.com/consensus-service #HederaHashgraph #LeemonBaird #Hedera18 |
| Category | Science & Technology |
| Tags | abft | blockchain | coq | dag | distributed public ledger | dlt | ethereum | formal methods | hashgraph | hbar | hedera | hedera hashgraph | hedera18 | hedera18 hackathon distributed ledger | journal proof | mathematical proof | proof | public distributed ledger | formal methods in computer science | ABFT | asynchronous byzantine fault tolerance | byzantine fault tolerance | byzantine fault tolerance algorithm | Leemon Baird | math proofs | coq proof assistant | coq proof | cog lemma |
