Papers We Love Bangalore: February 2022 Meetup
"Developing Verified Programs with Dafny" 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
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