[zeromq-dev] Modelling ZeroMQ formally

[Andrew Hume]

i would be interested in that.
i worked with gerard for 20+ years and have done spin-based verification.
let me know if that is of interest to you.

> On Mar 7, 2022, at 10:10 AM, John Lång <john.lang at mykolab.com> wrote:
> 
> Hello,
> 
> I've been developing tooling for the Spin model checker (see https://spinroot.com). I'd like to try out my tools in a real life case study. Do you think it would be feasible to build an abstract model for some aspect of the specification of ZeroMQ, e.g. the PUB-SUB mechanism? Is there anyone who would be interested in becoming a co-author for a study?
> 
> Best regards,
> John Lång
> 
> _______________________________________________
> zeromq-dev mailing list
> zeromq-dev at lists.zeromq.org
> https://lists.zeromq.org/mailman/listinfo/zeromq-dev