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.