양자 회로는 양자 게이트, 측정, 큐비트 초기화 등으로 구성됩니다. 연구자들은 양자 프로그램과 양자 회로 간의 모델 검증에 차이가 있다고 말합니다. 

새로운 모델 검증 접근법은 Maude 프로그래밍 언어를 사용해 양자 역학 법칙과 기본 행렬 연산을 통합합니다.

◈ 기타 자세한 사항은 기관 홈페이지 또는 센터 동향자료(첨부파일)을 참고하세요

[출처]

https://thequantuminsider.com/2024/07/01/symbolic-model-checking-approach-to-verify-quantum-circuits-could-lead-to-error-free-quantum-computing/