1 citations · 4 across the 10 of their papers we have counts for
1 paper · 1 filter
Wei-Lun Tsai, Yu-Fang Chen, Ondřej Lengál
Hoare-style verification provides a principled foundation for reasoning about the correctness of quantum programs, but existing approaches do not allow fully automatic verification…