distributed - system features and challenges shiviz is a new distributed system debugging visualization tool debugging distributed systems .
how amazon web services uses formal methods .