Computer systems and methods for quantum verification and validation
AssigneeLockheed Martin Corporation
InventorsEdward H. Allen, Greg S. Tallant, Mark A. Elliot
Life of this patent
Estimating the term…
Loading patent…
AssigneeLockheed Martin Corporation
InventorsEdward H. Allen, Greg S. Tallant, Mark A. Elliot
Estimating the term…
Systems and methods are disclosed for quantum verification and validation of cyber-physical systems that include a quantum allegory generator that maps a specification for the system undergoing verification and validation testing to a thermodynamical allegory. A hybrid classical-quantum processing system in which a quantum processing system serves as the oracle of the classical processing system and uses the thermodynamical allegory to determine whether there is a set of variable settings that satisfy the thermodynamical allegory. The presence and location of faults can be determined based on characteristics of the set of variables that satisfy the thermodynamical allegory, if the variables exist.
A computer system comprising:
The computer system of claim 10, further comprising:
A method comprising:
A processing system comprising:
Dependencies are inferred from the claim text.