Potential questions and answers for my diploma thesis presentation about model checking of randomized leader election algorithms.


This thesis deals with randomized leader election algorithms for anonymous, unidirectional rings as a case study for looking into the state space explosion problem of model checking.

Six algorithms are investigated and model checked using the tools PRISM and SPIN. Various statistics and improvements of the model checking procedure are regarded.

Loading more stuff…

Hmm…it looks like things are taking a while to load. Try again?

Loading videos…