Modeling and Analysis of RabbitMQ Using UPPAAL.

Ran Li, Jiaqi Yin, Huibiao Zhu

Browse the full TrustCom paper archive.