Papers We Love Bangalore: February 2022 Meetup
"Developing Verified Programs with Dafny" read by Divyanshu Ranjan
Feb 2022
21 Mon
22 Tue
23 Wed
24 Thu
25 Fri 05:30 PM – 07:35 PM IST
26 Sat
27 Sun
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
Hosted by