Just so that I don’t forget about these guys:

Co-Advisor is a tool for testing the quality of protocol implementations. Hundreds of tough test cases keep your developers and QA busy fixing implementation bugs, protocol violations, and security vulnerabilities.