PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

Performance Study of Leader Election Protocols

We conducted experiments of 5 leader election protocols for PAT version 1.2.2. The performance result can be found in here. The 5 protocols are built inside PAT examples. Regarding the Spin model, they can be downloaded here.

The experiments is conducted in a Core 2 CPU 6600 @ 2.40GHz with 2GB RAM.