The concept introduction explains that properties of computer program executions, especially in concurrent and distributed systems, are categorized into safety properties (preventing bad things from happening) and liveness properties (ensuring good things happen). Total correctness is achieved when a program satisfies both a safety property and a liveness property. Formal definitions for safety and liveness properties show that all execution properties can be described as a combination of these two categories, and different methods are required to verify each type of property.
UC Berkeley
Winter 2013
This course provides basic theoretical and practical foundations of distributed systems. Students learn about system models, safety and liveness of protocols, different failure models, reliable group communication abstractions, and more. It utilizes a textbook and additional research paper-based lectures.
No concepts data
+ 17 more concepts