University of Maryland과 Zapata Quantum, Inc.은 양자 소프트웨어 개발에서 형식적 검증을 구현하기 위한 연구 협력을 시작했다. 이 파트너십은 양자 알고리즘이 확장되면서 올바르게 작동하는지 수학적 증명을 사용해 수동 오류가 발생하지 않도록 보장한다. 이 노력은 “검증 우선” 모델을 수립하려고 한다. 양자 컴퓨팅 분야에서 형식적 검증은 중요한 주제이며, 이 연구는 디지털 및 아날로그 회로, 양자 알고리즘 및 양자 하드웨어 디자인에 적용될 것으로 예상된다. Maryland 대학의 연구진과 Zapata Quantum의 기술진은 이 분야에서 혁신적인 결과를 이루기 위해 노력할 것으로 보인다.

<Quantum Computing Report 뉴스 본문 전체읽기>