Runtime verification of temporal properties over out-of-order data streams

DOI10.1007/978-3-319-63387-9_18zbMath1494.68160arXiv1707.05555OpenAlexW2735457986MaRDI QIDQ2151259

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

Publication date: 1 July 2022

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Runtime verification for dynamic architectures ⋮ Computer says no: verdict explainability for runtime monitors using a local proof system ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)

This page was built for publication: Runtime verification of temporal properties over out-of-order data streams