search menu icon-carat-right cmu-wordmark

Projecting Quantum Computational Advantage Versus Classical State of the Art

October 2019 Presentation
Jason Larkin

This presentation reports on research to predict when (or whether) quantum computing will be mission-capable for hard combinatorial optimization problems in software V&V.


Software Engineering Institute


Software verification and validation (V&V) is crucial for DoD systems, but it is both computationally difficult and expensive. Some estimates put V&V at 50 percent of total cost for most systems. What’s more, as DoD code bases become larger, the computational costs to perform state-of-the-art V&V becomes intractable and exceeds the limitations of current hardware. New computer paradigms are needed to tackle this problem, and one that holds great potential is quantum computing.
The DoD recognizes this potential and is looking for ways to harness it for mission capability.