Failure-aware Runtime Verification of Distributed Systems
DOI10.4230/LIPICS.FSTTCS.2015.590zbMATH Open1366.68010OpenAlexW2293637521MaRDI QIDQ5275399FDOQ5275399
Eugen Zălinescu, David Basin, Felix Klaedtke
Publication date: 13 July 2017
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5619/pdf/3.pdf/
distributed systemsruntime verificationasynchronous communicationmulti-valued semanticsmonitoring algorithmreal-time logics
Online algorithms; streaming algorithms (68W27) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Distributed systems (68M14)
Cited In (7)
- Trace- and failure-based semantics for responsiveness
- Decentralized runtime verification of message sequences in message-based systems
- Monitoring timed properties (revisited)
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Theorem Proving in Higher Order Logics
- Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
- Monitoring for Silent Actions
This page was built for publication: Failure-aware Runtime Verification of Distributed Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275399)
