[HN Gopher] Teaching Program Verification in Dafny at Amazon (2023)
       ___________________________________________________________________
        
       Teaching Program Verification in Dafny at Amazon (2023)
        
       Author : Jtsummers
       Score  : 4 points
       Date   : 2025-06-02 22:03 UTC (56 minutes ago)
        
 (HTM) web link (dafny.org)
 (TXT) w3m dump (dafny.org)
        
       | Jtsummers wrote:
       | https://news.ycombinator.com/item?id=38691437 - Dec 2023, 1
       | comment
       | 
       | This only had the one previous submission but I found it
       | interesting. The mentioned book, _Program Proofs_ , is worth
       | checking out if the topic and language interests you.
        
       ___________________________________________________________________
       (page generated 2025-06-02 23:00 UTC)