Геймеры доказали свою пользу для верификации ПО

, ? , , ? - (DARPA) , .

, , . (Crowd Sourced Formal Verification, CSFV) 2013 , Verigames .

, Paradox, , . .

Paradox, Dynamakr ; Ghost Map Hyperspace ( -) Monster Proof .



Binary Fission .



DARPA .

DARPA: « [2013] , C Java. , , CSFV, ».

, .

, - . .