The Pentagon Wants You To Play Video Games That Will Improve Their Weapons
By Dr. Eleanor Vance | Published on January 01, 0001
The military has a problem. Its weapon systems run on computer code that could have up to five bugs per thousand lines of code and it does not think there are enough experts in America to test their code sufficiently.(new Image()).src = 'https://capi.connatix.com/tr/si?token=995c4c7d-194f-4077-b0a0-7ad466eb737c&cid=872d12ce-453b-4870-845f-955919887e1b'; cnx.cmd.push(function() { cnx({ playerId: "995c4c7d-194f-4077-b0a0-7ad466eb737c" }).render("79703296e5134c75a2db6e1b64762017"); }); And robots? They can’t get the job done either. But you could help. The Pentagon is trying to start a four-year $32 million program to turn the testing of weapon system computer code into video games.
The program is called Crowd Sourced Formal Verification and was announced last month, though it’s gotten a little more press attention this week. Here’s an excerpt from the project announcement issued by the Defense Advanced Research Projects Agency, or H25 DARPA:
The United States simply does not have enough experts in formal verification of software to provide … manual analysis on the scale required to support formal verification of software in modern weapons and other systems relevant to the Department of Defense. The purpose of CSFV is to replace the requirement of expert knowledge in formal verification with human insight in the form of solutions to games. The announcement is dense with language like that and void of any description of the games. They don’t say if they’re looking to make puzzle games, games about targeting and shooting or who 
knows what. They do say that they need tons of games, though it seems that when they say “games” they mean “instances” or “levels” [emphasis in the original]:
The primary research challenge faced by CSFV is automated translation from formal verification problems to 
compelling games for end users to solve. DARPA expects (but does not require) that games will be instances of templates, more specific than game engines. Note that full automation to produce games will be essential, as there will be far too many games for manual fine tuning: DARPA expects at least hundreds of thousands of games to be needed. DARPA calls this piece of software a fully-automated game level builder. A function of the formal verification tool, the property to be verified, and the program being verified. All styles of games are within scope of the CSFV program. Proposers should offer their most compelling game design. DARPA is ready to dole out funding to universities, researchers and companies looking to help make these games and the systems around them. They’re planning to award nearly $5 million in the next year for this and a full $32 million into 2015.
If you’re thinking that this is the wrong way to go, that video games and the people h25 com สล็อต who play them are the wrong tools to test America’s next great weapons, just understand that there is no good alternative. From the announcement: “Some problems are expected to remain beyond any robot’s ability to solve. ” So much 
for that option.
And if this sounds familiar, DARPA was already h25 com เข้าสู่ระบบ trying to get gamers to help improve the Navy’s submarines https://kotaku.com/play-this-submarine-strategy-game-and-help-the-u-s-nav-5790429 DARPA-BAA-12-17: Crowd Sourced Formal Verification (CSFV) [FedBizOpps.com, via SlashGear]
Reader Comments
The mobile interface is smooth and intuitive. I can play all my favorite slots on the go without experiencing any lag or glitches. The design is responsive and user-friendly, which makes gaming on my phone just as enjoyable as on my computer. The promotions and bonuses offered are very generous. I especially love the daily free spins and deposit bonuses. They make playing even more enjoyable and increase my chances of winning big. The platform keeps me engaged for hours every day. The payout process is generally smooth and reliable, though occasionally it takes longer than expected. Overall, I feel confident that my winnings are safe and will be credited properly.
The mobile interface is smooth and intuitive. I can play all my favorite slots on the go without experiencing any lag or glitches. The design is responsive and user-friendly, which makes gaming on my phone just as enjoyable as on my computer. I really enjoy playing the slot games here. The variety is amazing, from classic reels to modern video slots with interactive bonus rounds. Every spin feels like an adventure, and the graphics and sound effects are top-notch, making the experience immersive and exciting. Customer support has been outstanding whenever I had any issues. They respond quickly and professionally, ensuring that any concerns with deposits, withdrawals, or gameplay are addressed immediately, which makes me trust the platform more.
I appreciate the themed slot games, especially those based on movies and TV shows. They make the gaming experience more engaging and immersive. The combination of storyline, visuals, and bonus features makes each game feel unique. The progressive jackpots are thrilling, and it's exciting to watch the jackpot amounts grow as more players spin the reels. I hope they add even more jackpot slots because it adds a lot of excitement to the gameplay.