COMPUTER SYSTEMS AND METHODS FOR QUANTUM VERIFICATION AND VALIDATION

摘要

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.