[HN Gopher] Proving the Correctness of Gnat Light Runtime - The ...
       ___________________________________________________________________
        
       Proving the Correctness of Gnat Light Runtime - The AdaCore Blog
        
       Author : rbanffy
       Score  : 8 points
       Date   : 2022-02-18 10:11 UTC (12 hours ago)
        
 (HTM) web link (blog.adacore.com)
 (TXT) w3m dump (blog.adacore.com)
        
       | OldManLiver wrote:
       | AdaCore rocks. Such professionals. Serious about their work and
       | the success of their customers. I was proud to have helped an
       | employer form a relationship with them.
        
       | dwheeler wrote:
       | This is awesome. Proofs about runtimes increase confidence for
       | all their users - or tell us what needs fixing. I hope to see
       | more of this kind of thing.
        
       ___________________________________________________________________
       (page generated 2022-02-18 23:01 UTC)