3 ms·
DARPA Crowd Sourced Formal Verifications for Weapons System Code
- cobrausn 15y agoFor 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=3b5cf23a978799579294399b33268c99&tab=core&_cview=0 https://www.fbo.gov/index?s=opportunity&mode=form&id...