Formal Methods Courses
Simons Institute via YouTube Counterexample-Guided Inference of Modular Specifications
Simons Institute via YouTube Proving Unrealizability - Verifying Infinitely Many Programs at Once
Simons Institute via YouTube Tractable Representations for Boolean Functional Synthesis
Simons Institute via YouTube Distributed Controller Synthesis for Deadlock Avoidance
Simons Institute via YouTube Abduction Prover in Isabelle/HOL - Automated Theorem Proving and Conjecturing
Hausdorff Center for Mathematics via YouTube Branch Cuts and Formal Methods in Mathematics
Hausdorff Center for Mathematics via YouTube Flexiformal Math Libraries - Collecting and Organizing Beyond Definitions, Theorems, and Proofs
Hausdorff Center for Mathematics via YouTube Automated Transformation of Hierarchies of Theories in Large Libraries
Hausdorff Center for Mathematics via YouTube IronSpec - Increasing the Reliability of Formal Specifications
USENIX via YouTube