Parametric Verification of a Group Membership Algorithm

Ahmed Bouajjani, Agathe Merceron

We address the problem of verifying clique avoidance in the TTP protocol. TTP allows several stations embedded in a car to communicate. It has many mechanisms to ensure robustness…