You might find this paper interesting (uses examples in Dafny) - https://news.yc...

		rramadass 54 days ago \| parent \| context \| favorite \| on: Tony Hoare has died You might find this paper interesting (uses examples in Dafny) - https://news.ycombinator.com/item?id=47334375