4 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Linda Anticoli, Carla Piazza, Leonardo Taglialegne +1
In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embed…