Galois Tech Talks / Videos
-
Program Inconsistency Detection using Weakest Preconditions
-
Verifying seL4-Based Systems
-
Trust relationship modeling for software assurance
-
Candid Experiences from a Hardware Startup
-
Parallel K-Induction Based Model Checking
-
Programming with Narrowing
-
Why Do Airplanes Crash
-
RNA Networks
-
Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation
-
Parametricity, Quotient Types, and Theorem Transfer
-
Automatic Function Annotations for Hoare Logic
Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. 