Crowd Sourced Formal Verification-Augmentation (CSFV-A)

Abstract

Formal verification (FV) ensures that mission-essential software is free from disruptive errors and security vulnerabilities, but requires human experts that can be quickly overwhelmed by the increasing number, size, and complexity of software systems. DARPAs Crowd Sourced Formal Verification (CSFV) program built games that recast FV problems into puzzles to make these problems more accessible, increasing the manpower to construct FV proofs. This effort supported the CSFV program by hosting the games on a public website, and analyzed the gameplay for efficiency to provide FV proofs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2016
Accession Number
AD1010444

Entities

People

  • Leonard Eusebi
  • Sean Guarino

Tags

Communities of Interest

  • Biomedical
  • Cyber
  • Engineered Resilient Systems
  • Space

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Beta Testing
  • Business Administration
  • Cognitive Systems Engineering
  • Computer Programming
  • Contracts
  • Debugging
  • Personnel Management
  • Public Relations
  • Security
  • Social Media
  • Statistical Analysis
  • Systems Engineering
  • Test And Evaluation
  • United States
  • Verification

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Game Theory.
  • Software Engineering.