17 citations · 57 across the 9 of their papers we have counts for
1 paper · 1 filter
Yangjia Li, Dominique Unruh
We present a variant of the quantum relational Hoare logic from (Unruh, POPL 2019) that allows us to use "expectations" in pre- and postconditions. That is, when reasoning about pa…