Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang 0001, Franck van Breugel. Probabilistic Model Checking of Randomized Java Code. In Alfons Laarman, Ana Sokolova, editors, Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Volume 12864 of Lecture Notes in Computer Science, pages 157-174, Springer, 2021. [doi]
Abstract is missing.