Failure-aware Runtime Verification of Distributed Systems
From MaRDI portal
Publication:5275399
DOI10.4230/LIPIcs.FSTTCS.2015.590zbMath1366.68010OpenAlexW2293637521MaRDI QIDQ5275399
Eugen Zălinescu, Felix Klaedtke, David A. Basin
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
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Online algorithms; streaming algorithms (68W27)
Related Items (5)
Decentralized runtime verification of message sequences in message-based systems ⋮ Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Monitoring for Silent Actions ⋮ Monitoring timed properties (revisited)
This page was built for publication: Failure-aware Runtime Verification of Distributed Systems
