Timed Runtime Monitoring for Multiparty Conversations

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

We propose a dynamic verification framework for protocols in real-time distributed systems. The framework is based on Scribble, a tool-chain for design and verification of choreogr…