Paper published on new methods for verifying quantum computing.