Runtime Verification over Out-of-order Streams

DOI10.1145/3355609zbMath1433.68208arXiv1909.11593OpenAlexW3101270510WikidataQ127121727 ScholiaQ127121727MaRDI QIDQ4972169

Eugen Zălinescu, Felix Klaedtke, David A. Basin

Publication date: 22 November 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.11593

zbMATH Keywords

distributed systemstemporal logicruntime verificationKleene logicstream processing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (3)

Runtime enforcement with reordering, healing, and suppression ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Decentralized deadlock-free enforcement of message orderings in message-based systems

This page was built for publication: Runtime Verification over Out-of-order Streams