Runtime Verification Containers for Publish/Subscribe Networks

Ali Mehran, Dogan Ulus

Publish/subscribe (pub/sub) networks are a cornerstone of modern distributed systems, playing a crucial role in applications like the Internet of Things (IoT) and robotics. While r…