Formal Methods Courses
ACM SIGPLAN via YouTube Verification of a Subgraph Construction Algorithm for Geometric Graphs - VMCAI 2024
ACM SIGPLAN via YouTube Asynchronous Probabilistic Couplings in Higher-Order Separation Logic
ACM SIGPLAN via YouTube Sound Gradual Verification with Symbolic Execution
ACM SIGPLAN via YouTube VST-A: A Foundationally Sound Annotation Verifier for Imperative Programs
ACM SIGPLAN via YouTube Validation of Modern JSON Schema: Formalization and Complexity
ACM SIGPLAN via YouTube Logical Foundations - Session Preview
ACM SIGPLAN via YouTube Algorithmic Verification - Session Preview
ACM SIGPLAN via YouTube Synthesis 2 - Session Preview
ACM SIGPLAN via YouTube Automated Verification - Session Preview
ACM SIGPLAN via YouTube