2023. BRIO: Low-Level Analysis of Trust in Probabilistic and Opaque Programs. The Reasoner. 17, 4 (Jul. 2023).