Program Verification Using Coq - Daniel Britten

2018 22:29
Synopsis
Slides and Code: https://coda-coda.github.io/Program_Verification_in_Coq_Intro_Talk/ Presentation at Functional Programming ...

You Might Also Like

Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq 23:25
Coq Coq Correct! Verification Of Type Checking And Erasure F...
2021
Using Program Verification Tools in Teaching 1:30:41
Using Program Verification Tools In Teaching
2017
#238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla – A Formal Verification Oriented Contract Language 1:11:30
#238 Dr. Amrit Kumar & Dr. Ilya Sergey: Scilla – A Formal ...
2019
Program Verification via SVMs 37:02
Program Verification Via Svms
2017
GP010001 6:58
Gp010001
2018
[CoqPL'22] Coq meets literate programming: tools for documenting, preserving, and sharing 1:01:54
[coqpl'22] Coq Meets Literate Programming: Tools For Documen...
2023
Bedrock: A Software Development Ecosystem Inside a Proof Assistant 1:04:57
Bedrock: A Software Development Ecosystem Inside A Proof Ass...
2017
ACM Software System Award 2013 - Coq 1:15
Acm Software System Award 2013 - Coq
2015
Formal verification of Scala programs with Stainless – Romain Ruetschi 29:33
Formal Verification Of Scala Programs With Stainless – Rom...
2020
CPP'2021 - Extracting Smart Contracts Tested and Verified in Coq 30:13
Cpp'2021 - Extracting Smart Contracts Tested And Verified In...
2021
A Coq proof of the correctness of X25519 in TweetNaCl 9:54
A Coq Proof Of The Correctness Of X25519 In Tweetnacl
2022
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.