DARPA Verigames Crowd Sourced Formal Verification (CSFV) project

Binary Fission.

Image:

Left Brain Games, Inc.

Formal Verification is the process of rigorously analyzing software to detect flaws that make programs vulnerable to exploitation. Performing this analysis requires highly skilled engineers with extensive training and experience. This makes the verification process costly and relatively slow.

The Defense Advanced Research Projects Agency (DARPA) seeks to advance the current processes of formal verification by significantly increasing the number of people working on formal verification projects at any given time through crowd-sourcing. CSFV augments the intensive work done by formal verification experts using games to greatly decreasing the skill required to do formal verification.

The games are created to assist in the formal verification process as players solve puzzles and increase their score. Video games that represent the underlying mathematical concepts allow more people to perform verification analysis of software efficiently. Citizen scientists can effectively do the work of formal verification experts—simply by playing and completing game objectives.

Games include:

Project Details

• PRINCIPAL SCIENTIST: N/A
• SCIENTIST AFFILIATION: Defense Advanced Research Projects Agency (DARPA)
• DATES: Ongoing
• PROJECT TYPE: Data Processing
• COST: Free
• GRADE LEVEL: 18+ years old
• TIME COMMITMENT: Variable
• HOW TO JOIN:

  Citizen scientists to participate in the Defense Advanced Research Projects Agency (DARPA) Crowd Sourced Formal Verification (CSFV) program. Government regulations require adult volunteer participants for this DARPA research program.

See more projects in ,  ,  .