[Haskell-cafe] Informal modelling and simulation of protocols

[Will Yager]

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

> On Mar 4, 2019, at 10:33 PM, Doug McIlroy <doug at cs.dartmouth.edu> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190305/2ea07cd4/attachment.html>