Announcement_25
Our paper, titled QCheck: A Framework for Probabilistic Model Checking of Quantum Programs, has been accepted for publication at the 27th International Conference on Formal Engineering Methods (ICFEM 2026). 
Our paper, titled QCheck: A Framework for Probabilistic Model Checking of Quantum Programs, has been accepted for publication at the 27th International Conference on Formal Engineering Methods (ICFEM 2026).