Квантовые вычисления, использующие законы квантовой физики для решения сложных задач, стремительно развиваются. Однако из-за высокой вероятности ошибок в квантовых схемах необходима их проверка. Ученые из JAIST предложили новый метод символической проверки моделей квантовых схем.