[HN Gopher] Get Started with Open Source Formal Verification [vi...
       ___________________________________________________________________
        
       Get Started with Open Source Formal Verification [video]
        
       Author : 0rzech
       Score  : 30 points
       Date   : 2023-02-14 15:47 UTC (7 hours ago)
        
 (HTM) web link (fosdem.org)
 (TXT) w3m dump (fosdem.org)
        
       | touisteur wrote:
       | Nice to see Fabien here presenting, a nice change to the usual
       | suspects :-) with his down-to-earth embedded personal angle. More
       | people taking time to explain and evangelize amazing tech makes
       | me happy. Go Fabien!
       | 
       | By the way, if you want to know more and dive in, we just
       | completed a 3-days training sessions with AdaCore's Yannick Moy
       | and all the colleagues (some not even Ada practitioners) are
       | itching to put some SPARK everywhere, and were surprised the tech
       | is so accessible, mature, for non-formal-praxis people. We're
       | probably going to book a second session for mostly C dev people.
       | 
       | Give it a try!
       | 
       | (I have no stakes there, but wanting devs to focus on safety,
       | security and better software - more direct value in our daily
       | work)
        
       ___________________________________________________________________
       (page generated 2023-02-14 23:01 UTC)