[zeromq-dev] Modelling ZeroMQ formally

[John Lång]

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