SRI International’s Online Game Seeks to Verify Software; John Murray Comments
SRI International has developed an online game as part of a government program that intends to verify software to ensure that it lacks errors and security vulnerabilities. The company said Tuesday it created Binary Fission with the University of California in Santa Cruz and the Air Force Research Laboratory under the Crowd-Sourced Formal Verification initiative of the Defense […] More