PWL Feb 2022: "Developing Verified Programs with Dafny"
Authored by Microsoft, read by Divyanshu Ranjan
The paper (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml233.pdf) presents the Dafny language through a series of small examples towards building verified programs.
Hosted by
What was the last paper within the realm of computing you read and loved? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implement…
more