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
