1 citations · 1 across the 1 of their papers we have counts for
2 papers
quant-ph2022
Qafny: A Quantum-Program Verifier
Liyi Li, Mingwei Zhu, Rance Cleaveland +4
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specificati…
cs.LO2022★ 1 cited
Extensible Proof Systems for Infinite-State Systems
Jeroen J. A. Keiren, Rance Cleaveland
This paper revisits soundness and completeness of proof systems for proving that sets of states in infinite-state labeled transition systems satisfy formulas in the modal mu-calcul…