Description: MoCheQoS is a bounded model checker for quality of service (QoS) properties of distributed message-passing systems. It exploits features of ChorGram. There is some basic documentation and a mini-tutorial with few examples.
Developed at: GSSI, UBA
Contacts: aemartinez@dc.uba.ar
Available at: https://bitbucket.org/aemartinez/chorgram/src/mocheqos-tacas2024/wiki/Home.md