Near-Term Quantum Computing for Software Verification and Validation

Abstract

Why SEI? Software verification and validation (VV): 1) Software VV is a core SEI mission(and for any Software Engineer), 2) Alignment with ETC technical area: We are applying advanced computing to this core mission and 3) Focus on the software engineering challenges.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 31, 2018
Accession Number
AD1084385

Entities

People

  • Jason M. Larkin

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Algorithms
  • Chemistry
  • Computers
  • Department Of Defense
  • Emerging Technology
  • Engineering
  • Guarantees
  • Law
  • Materials
  • National Security
  • Quantum Chemistry
  • Quantum Computers
  • Quantum Computing
  • Software Development
  • Universities
  • Validation
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.

Technology Areas

  • Quantum Computing