-- Towards Automatic Convergence Verification of Self-stabilizing Algorithms -- About