![METAL GEAR SOLID (TRADOTTO MALE) dal FRANCESE con GOOGLE ||| RedFlameFox e Rito [LIVE ITA]](https://i.ytimg.com/vi/o5eVTwzZCP0/hqdefault.jpg)
La fase iniziale dell'esperimento di verifica formale (CSFV) per la ricerca avanzata da parte dell'esercito americano per la ricerca avanzata di progetti (DARPA) dell'esercito statunitense è stata lanciata nel 2013. L'esperimento è stato creato per combattere le costose e lunghe fughe dei metodi tradizionali di verifica del codice.
Operando sull'ipotesi che "un gran numero di non esperti può eseguire una verifica formale più veloce e più economica rispetto ai processi convenzionali", DARPA ha progettato il programma CSFV per verificare l'accuratezza dei lotti di codice utilizzando giochi video basati su browser.
Mercoledì, DARPA ha proclamato il programma un successo e ha annunciato l'aggiunta di cinque nuovi giochi alla sua attuale formazione. Dal blog DARPA:
Questi giochi [2013] hanno tradotto le azioni dei giocatori in annotazioni del programma e esperti di verifica formale assistita nella generazione di prove matematiche per verificare l'assenza di importanti classi di difetti nei linguaggi di programmazione "C" e "Java". Un'analisi iniziale indica che i non esperti che giocavano ai giochi CSFV hanno generato centinaia di migliaia di annotazioni.
I nuovi titoli includono puzzle Dynamakr, Paradosso, e Fissione binaria, "gioco della scienza" Ghost Map Hyperspacee sim di fantasia Monster Proof. Tutti i giochi CSFV di DARPA, compresi quelli della fase di progetto 2013, sono disponibili online su Verigames. I giocatori devono avere almeno 18 anni di età per partecipare.