https://www.microsoft.com/en-us/research/publication/getting-started-dafny-guide/
Common program specification and verification build on concepts like method pre- and postconditions and loop invariants. These lectures notes teach those...
getting startedmicrosoft researchdafnyguide
https://www.chicagobooth.edu/review/authors-experts/d/leemore-s-dafny
Get research-driven insights from Leemore S. Dafny at Chicago Booth Review.
chicago booth reviewdafny