Safety and liveness from a methodological point of view

DOI10.1016/0020-0190(90)90181-VzbMath0703.68019OpenAlexW1964796077MaRDI QIDQ916351

Frank Dederichs, Rainer Weber

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90181-v

zbMATH Keywords

distributed systemssafetyliveness propertiesspecification methodology

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Liveness in timed and untimed systems, Synthesis of Reactive(1) designs, Safety and liveness from a methodological point of view, Sooner is safer than later

Uses Software

• UNITY

Cites Work

• Safety and liveness from a methodological point of view
• Defining liveness
• Unnamed Item
• Unnamed Item