Formal Methods Courses
ACM SIGPLAN via YouTube Inductive Approach to Spacer - PLDI 2024
ACM SIGPLAN via YouTube SPORE: Combining Symmetry and Partial Order Reduction for Model Checking
ACM SIGPLAN via YouTube Hyper Hoare Logic: Proving and Disproving Program Hyperproperties
ACM SIGPLAN via YouTube A Probabilistic Choreography Language for PRISM
ACM SIGPLAN via YouTube Formalizing DRAGSTERS - Compiling Computations for Semiring Value Multiplication and Aggregation
ACM SIGPLAN via YouTube Quantitative Weakest Hyper Pre Calculus for Non-Deterministic Programs
ACM SIGPLAN via YouTube Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
ACM SIGPLAN via YouTube An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
ACM SIGPLAN via YouTube Automated Expected Value Analysis of Recursive Programs
ACM SIGPLAN via YouTube