Formal Methods Courses
ACM SIGPLAN via YouTube Teaching Logic and Set Theory with Dafny
ACM SIGPLAN via YouTube Solving Queries for Boolean Fault Tree Logic via Quantified SAT
ACM SIGPLAN via YouTube Complete Multiparty Session Type Projection with Automata - ST30
ACM SIGPLAN via YouTube Benchmarks for Multiparty Session Types - ST30
ACM SIGPLAN via YouTube Relational Solver for Java Generics Type System
ACM SIGPLAN via YouTube Trustworthy Formal Natural Language Specifications
ACM SIGPLAN via YouTube Weighted Refinement Types for Counterpoint Composition
ACM SIGPLAN via YouTube Trustworthy Runtime Verification via Bisimulation - Experience Report
ACM SIGPLAN via YouTube The 4 Horsemen of Unsoundness in Object-Oriented Languages
ACM SIGPLAN via YouTube