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/

zbMATH Keywords

distributed systemsruntime verificationasynchronous communicationmulti-valued semanticsmonitoring algorithmreal-time logics

Mathematics Subject Classification ID

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)