Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Formal Proofs: Checking Invariants and Bounded Model Checking
Graph Chatbot
Related lectures (27)
Formal Logic: Proofs and Sets
Log in to Mediaspace to watch this video
Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.
Optimal Transport: Theory and Applications
Log in to Mediaspace to watch this video
Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.
WireGuard: Cryptographic Protocol for VPNs
Log in to Mediaspace to watch this video
Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.
Jordan Curve Theorem
Log in to Mediaspace to watch this video
Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.
Hoare Logic: Foundations and Applications
Log in to Mediaspace to watch this video
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Analysis IV: Measurable Sets and Properties
Log in to Mediaspace to watch this video
Covers the concept of outer measure and properties of measurable sets.
Inductive Propositions: Understanding Evaluation in Coq
Log in to Mediaspace to watch this video
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Previous
Page 2 of 2
Next
