YoVDO

Dafny Courses

Improving the Stability of Type Safety Proofs in Dafny
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 Randomised Testing of the Dafny Compiler
ACM SIGPLAN via YouTube Generation of Verified Assembly Code Using Dafny and Reinforcement Learning
ACM SIGPLAN via YouTube Colouring Flags with Dafny and Idris - Dafny'24
ACM SIGPLAN via YouTube
< Prev Page 2