Safety assurance via on-line monitoring

DOI10.1007/s00446-003-0089-5zbMath1448.68089OpenAlexW2088201020MaRDI QIDQ5138497

Shlomi Dolev, Frank Stomp

Publication date: 4 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-003-0089-5

zbMATH Keywords

distributed systemssafety propertiesmonitors

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Defining liveness
• Self-testing/correcting with applications to numerical problems
• Transient fault detectors
• Automatically increasing the fault-tolerance of distributed algorithms
• Temporal Verification of Reactive Systems: Response
• Specifying Concurrent Program Modules
• A Proof System for Communicating Sequential Processes
• The mutual exclusion problem
• Self-stabilizing \(\ell\)-exclusion

This page was built for publication: Safety assurance via on-line monitoring