Probabilistic Model Checking of Randomized Java Code. - Syyeda Zainab Fatmi; Xiang Chen; Yash Dhamija; Maeve Wildes; Qiyi Tang 001; Franck van Breugel (SPIN, 2021)