DARPA Crowd Sourced Formal Verifications for Weapons System Code

For those interested who don't care to read the kotaku summary, the link to the FedBizOps page with the proposal is here: https://www.fbo.gov/index?s=opportunity&mode=form&id...