Even a small modification of distributed system can change its behavior. The paper explores methods used in the research on debugging parallel and distributed systems, i. e. the detection of state predicates and the use of temporal logic.
Even a small modification of distributed system can change its behavior. The paper explores methods used in the research on debugging parallel and distributed systems, i. e. the detection of state predicates and the use of temporal logic. (en)
I malá změna v distribuovaném systému může změnit jeho vlastnosti. Tento článek prozkoumává metody používané pro ladění paralelních a distribuovaných systémů, tj. detekce stavových predikátů a využití temporílní logiky. (cs)