Model Checking Randomized Algorithms with Java PathFinder | IEEE Conference Publication | IEEE Xplore