Accession Number:

AD1084385

Title:

Near-Term Quantum Computing for Software Verification and Validation

Descriptive Note:

Technical Report

Corporate Author:

Carnegie Mellon University Software Engineering Institute Pittsburgh United States

Personal Author(s):

• Larkin,Jason

Report Date:

2018-12-31

Pagination or Media Count:

18.0

Abstract:

Why SEI Software verification and validation VV 1 Software VV is a core SEI missionand 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.

Descriptors:

• computer programs
• application software
• quantum computing
• verification
• validation
• COMPUTER BENCHMARKING
• algorithms
• department of defense
• software development

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE