Formal Methods Courses
Code Sync via YouTube E-graphs and Automated Reasoning: Looking Back to Look Forward
ACM SIGPLAN via YouTube Disequalities in E-Graphs: An Experiment
ACM SIGPLAN via YouTube A Tale of Shared Memory Concurrency in Programming Languages
ACM SIGPLAN via YouTube Model Checking Distributed Software Systems
ACM SIGPLAN via YouTube Reasoning About Hilbert's Choice Operator in SMT
ACM SIGPLAN via YouTube A Comparison of Program Logics for (In)Correctness
ACM SIGPLAN via YouTube Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24
ACM SIGPLAN via YouTube InducTeX: A MetaCoq Plugin for Typesetting Inductive Definitions
ACM SIGPLAN via YouTube Parameterized Algebraic Protocols
ACM SIGPLAN via YouTube