1. A computer system comprising: an oracle machine including a control computer and a quantum processing system that serves as an oracle to the control computer; a quantum allegory generator that maps a specification for a system undergoing verification and validation testing to a thermodynamical allegory; and the quantum processing system is configured to execute the thermodynamical allegory to determine whether there is a set of variables that satisfy the thermodynamical allegory, and if there is a set of variables that satisfy the thermodynamical allegory, whether the system encoded by the thermodynamical allegory has one or more faults.