Crowd-Sourced Formal Verification Games [DARPA] Posted by joeschmoe3 on Thursday January 11, 2018 @12:18PM from the darpa.mil dept. http://www.darpa.mil/NewsEvents/Releases/2015/05/27.aspx ( no comments | 2 points | on HN )
There are no comments yet.