Preprint
MoCheQoS: Automated Analysis of Quality of Service Properties of Communicating Systems
Abstract
We present MoCheQoS, a bounded model checker to analyse (QoS) properties of
message-passing systems. Building on the dynamic temporal logic, the
Authors
Pombo CGL; Suñé AEM; Tuosto E
Publication date
November 2, 2023
DOI
10.48550/arxiv.2311.01415
Preprint server
arXiv