plum-umd/QNP

This is stars and forks stats for /plum-umd/QNP repository. As of 20 Apr, 2024 this repository has 1 stars and 0 forks.

Qafny Qafny is a project to utilize classical separation logic frameworks to verify quantum program properties. Overview Many quantum programs are assured by formal verification, but such verification is usually laborious and time-consuming. This paper proposes Qafny, an automated proof system for verifying classical quantum hybrid algorithms. The core of Qafny is a quantum proof system, named the Qafny proof system. It views quantum operations as classical array aggregate operations with the guidance...