In protocol analysis, formal verification is a very important tool. What are the major differences between CSP, Promela, ...? What are their pros and cons for what specific usage cases? What do you think about graphical representations of communicating systems (gCSP, v-Promela, ...)? What other lesser known/used process calculi do you recommend?
closed as too broad by Gilles, DrLecter, figlesquidge, AFS, rath Feb 28 at 21:53
There are either too many possible answers, or good answers would be too long for this format. Please add details to narrow the answer set or to isolate an issue that can be answered in a few paragraphs.If this question can be reworded to fit the rules in the help center, please edit the question.
Is your question regarding the verification of cryptographic protocols or protocols in general?
I do not know much about the field and cannot answer all your questions. I do know that applied Pi calculus is quite popular for cryptographic protocols (especially in cryptographic voting protocols) and the ProVerif tool is often used.