Ученые предложили новый метод проверки моделей квантовых схем
Квантовые схемы состоят из последовательности квантовых вентилей и операций с кубитами. Проверка этих схем важна для обеспечения их корректности. Исследователи использовали язык программирования Maude system для формальной спецификации