Re: [Haskell-cafe] Informal modelling and simulation of protocols

http://hackage.haskell.org/package/dejafu might do what you want

On Mar 4, 2019, at 10:33 PM, Doug McIlroy wrote:

...

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.