[Haskell-cafe] Informal modelling and simulation of protocols

Doug McIlroy doug at cs.dartmouth.edu
Mon Mar 4 14:33:14 UTC 2019

> 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

More information about the Haskell-Cafe mailing list