Lockheed Martin has been experimenting with quantum systems to speed verification and validation of mission-critical software.