Is there some fantastic tool/library which already does everything I want?

Have you looked into model checkers like Spin, which was developed
for the very purpose of exhaustively checking protocols? See spinroot.com

Doug McIlroy
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.