Formal Methods Courses
ACM SIGPLAN via YouTube Later Credits: A Case Study in the Unreasonable Effectiveness of Separation Logic
ACM SIGPLAN via YouTube Testing Specifications in Dafny - Dafny'24
ACM SIGPLAN via YouTube Dafny Test Generation - Automated Testing for Verified Programs
ACM SIGPLAN via YouTube Portfolio Solving for Dafny
ACM SIGPLAN via YouTube Learn 'em Dafny - Incorporating Verification Tools in Software Engineering Education
ACM SIGPLAN via YouTube Colouring Flags with Dafny and Idris - Dafny'24
ACM SIGPLAN via YouTube Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions
ACM SIGPLAN via YouTube Explainable Program Synthesis by Localizing Specifications
ACM SIGPLAN via YouTube A Deductive Verification Infrastructure for Probabilistic Programs
ACM SIGPLAN via YouTube