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 <[email protected]> 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 > [email protected] > https://lists.zeromq.org/mailman/listinfo/zeromq-dev _______________________________________________ zeromq-dev mailing list [email protected] https://lists.zeromq.org/mailman/listinfo/zeromq-dev
