Hi ALL, I am writing up some research on Multicast Protocol verification techniques (i.e. Proof that a designed protocol does what the specification says). Does anyone have further pointers in terms of literature where I can refer to. Regards, -- Martin